Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Communication and concurrency
Process algebra
Specification styles in distributed systems design and verification
TAPSOFT '89 2nd international joint conference on Theory and practice of software development
Software reliability methods
Formal Specification and Verification of Digital Systems
Formal Specification and Verification of Digital Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Implementing Condition/Event Nets in the Circal Process Algebra
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Pi-Nets: A Graphical Form of pi-Calculus
ESOP '94 Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems
Specification of Timing Constraints within the Circal Process Algebra
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
A Methodology for the Formal Analysis of Asynchronous Micropipelines
FMCAD '00 Proceedings of the Third International Conference on Formal Methods in Computer-Aided Design
B(PN)2 - a Basic Petri Net Programming Notation
PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
PEP - More than a Petri Net Tool
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Process Calculi, from Theory to Practice: Verification Tools
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Modelling a Time-Dependent Protocol Using the Circal Process Algebra
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
A Refined View of the Box Algebra
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Visual security protocol modeling
NSPW '05 Proceedings of the 2005 workshop on New security paradigms
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
| Hi-index | 0.00 |
The syntactical constructs and the features of three well-known process algebras, CCS, CSP and Circal, are analysed and compared. The analysis is carried out from the point of view of the system designer and aims to single out which features make the modelling process easier, facilitate the verification phase, provide a better intuition of the system behaviour, and are more appropriate for the visualisation of both the functional structure of the overall system and the behaviours of the components in which it has been decomposed. The results of such an analysis are then exploited to propose a visual framework for the design and verification of systems, which is targeted to users who are not necessarily expert in formal methods.