Unique decomposition of processes
- 18 January 1993
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 107 (2) , 357-363
- https://doi.org/10.1016/0304-3975(93)90176-t
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984