Functionality decomposition by compositional correctness preserving transformation
- 1 January 1993
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 371-384
- https://doi.org/10.1007/3-540-56922-7_31
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- An Exercise in Protocol SynthesisPublished by Elsevier BV ,1992
- Specification styles in distributed systems design and verificationTheoretical Computer Science, 1991
- Reference model for manufacturing planning and control systemsJournal of Manufacturing Systems, 1989
- Submodule construction as equation solving in CCSTheoretical Computer Science, 1989
- New results on deriving protocol specifications from service specificationsACM SIGCOMM Computer Communication Review, 1989
- Implicit System Specification and the Interface EquationThe Computer Journal, 1989
- Introduction to the ISO specification language LOTOSComputer Networks and ISDN Systems, 1987
- Notes on Communicating Sequential SystemsPublished by Springer Science and Business Media LLC ,1986
- CIRCAL and the representation of communication, concurrency, and timeACM Transactions on Programming Languages and Systems, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984