A graphical composition theorem for networks of LOTOS processes
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983