Communicating sequential processes
Communicating sequential processes
Specifications in an arbitrary institution
Information and Computation - Semantics of Data Types
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Journal of the ACM (JACM)
Abstract and concrete categories
Abstract and concrete categories
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Logical support for modularisation
Papers presented at the second annual Workshop on Logical environments
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Logical systems for structured specifications
Theoretical Computer Science
Categories for Software Engineering
Categories for Software Engineering
CSP-CASL: a new integration of process algebra and algebraic specification
Theoretical Computer Science - Algebraic methods in language processing
The modelling and analysis of security protocols: the csp approach
The modelling and analysis of security protocols: the csp approach
A complete axiomatic semantics for the CSP stable-failures model
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Compositional modelling and reasoning in an institution for processes and data
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |
We introduce two institutions for the process algebra CSP, one for the traces model, and one for the stable failures model. The construction is generic and should be easily instantiated with further models. As a consequence, we can use structured specification constructs like renaming, hiding and parameterisation (that have been introduced over an arbitrary institution) also for CSP. With a small example we demonstrate that structuring indeed makes sense for CSP.