XCCS - Graphical Extension of CCS Language


A graphical extension of CCS process calculus called XCCS (extended CCS) is proposed in the paper. In the modified process calculus most operators were moved to a graphical layer to eliminate problems typical for CCS language, e.g. elimination of undesirable connections among agents. An XCCS model consists of two layers: a textual and a graphical one. The former is used to define behaviour of single agents, while the latter is used to define interconnections among them in concurrent systems. XCCS calculus is compatible with the CCS one and it is possible to transform an XCCS model into an equivalent CCS script. The paper presents a survey of main features of XCCS language.

10 Figures and Tables

Cite this paper

@article{Szpyrka2007XCCSG, title={XCCS - Graphical Extension of CCS Language}, author={Marcin Szpyrka and Krzysztof Balicki}, journal={2007 14th International Conference on Mixed Design of Integrated Circuits and Systems}, year={2007}, pages={688-693} }