Decomposing Monolithic Processes in a Process Algebra with Multi-actions
- 2 October 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 347, 57-76
- https://doi.org/10.4204/eptcs.347.4
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- A procedure for splitting data-aware processes and its application to coordinationScience of Computer Programming, 2014
- Smart ReductionLecture Notes in Computer Science, 2011
- State Space Reduction of Linear Processes Using Control Flow ReconstructionLecture Notes in Computer Science, 2009
- Hierarchy-based incremental analysis of communication protocolsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An incremental approach to reachability analysis of distributed programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Invariants for the construction of a handshake registerInformation Processing Letters, 1998
- Context constraints for compositional reachability analysisACM Transactions on Software Engineering and Methodology, 1996
- Compositional minimisation of finite state systems using interface specificationsFormal Aspects of Computing, 1996
- Functionality decomposition by compositional correctness preserving transformationLecture Notes in Computer Science, 1993
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983