A framework based on implementation relations for implementing LOTOS specifications
- 3 August 1992
- journal article
- Published by Elsevier in Computer Networks and ISDN Systems
- Vol. 25 (1) , 23-41
- https://doi.org/10.1016/0169-7552(92)90122-7
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Extensional equivalences for transition systemsActa Informatica, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Protocol Verification via ProjectionsIEEE Transactions on Software Engineering, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Specifying Concurrent Program ModulesACM Transactions on Programming Languages and Systems, 1983
- On the inevitable intertwining of specification and implementationCommunications of the ACM, 1982
- On describing the behavior and implementation of distributed systemsTheoretical Computer Science, 1981