Communicating sequential processes
Communicating sequential processes
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Formal Methods for Concurrency
Formal Methods for Concurrency
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Handbook of Process Algebra
Real-Time Systems: Scheduling, Analysis, and Verification
Real-Time Systems: Scheduling, Analysis, and Verification
Software Engineering (7th Edition)
Software Engineering (7th Edition)
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
A brief history of process algebra
Theoretical Computer Science - Process algebra
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Formal Modelling and Verification of Concurrent Systems with XCCS
ISPDC '08 Proceedings of the 2008 International Symposium on Parallel and Distributed Computing
| Hi-index | 0.00 |
The paper presents a formal definition of XCCS - a graphical extension of CCS process calculus. The aim of this extension is to supply graphical means for creating models and thus to eliminate problems typical for modelling in textual manner inherent to CCS process algebra. XCCS diagrams consist of two layers, a graphical one that represents the structure of a modelled system and algebraic one that describes behaviour of individual agents. The graphical layer takes the form of a directed graph, while the algebraic one is a set of sequences of algebraic equations similar to those in the CCS calculus. The formal definition presented in the paper deals with both parts of such models. At the end of the paper we define the Synchronization Relation and present the Basic Conversion Algorithm that converts XCCS diagrams into CCS scripts.