Synchronization expressions with extended join operation
From MaRDI portal
Publication:1274985
DOI10.1016/S0304-3975(98)00056-5zbMath0912.68108MaRDI QIDQ1274985
Publication date: 12 January 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Cites Work
- Models for concurrency: Towards a classification
- Recognizable languages in concurrency monoids
- Petri nets and bisimulation
- A process algebraic view of input/output automata
- Semi-commutations
- Thue systems as rewriting systems
- Theory of traces
- Representation of computations in concurrent automata by dependence orders
- Rational and recognizable complex trace languages
- Synchronization languages and rewriting systems
- On confluence of one-rule trace-rewriting systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item