The poset of infinitary traces
- 8 November 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 120 (1) , 101-121
- https://doi.org/10.1016/0304-3975(93)90247-q
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Recent results on automata and infinite wordsPublished by Springer Nature ,2006
- On the concatenation of infinite tracesPublished by Springer Nature ,2005
- Recognizable and rational languages of finite and infinite tracesPublished by Springer Nature ,2005
- Event structures and trace monoidsTheoretical Computer Science, 1991
- A metric for tracesInformation Processing Letters, 1990
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- Partial communationsPublished by Springer Nature ,1989
- Concurrent MachinesThe Computer Journal, 1985
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981
- Adherences of languagesJournal of Computer and System Sciences, 1980