Synchronization languages and rewriting systems

DOI10.1006/inco.2000.2924zbMath1007.68084OpenAlexW2058010640MaRDI QIDQ1854431

Isabelle Ryl, Yves Roos, Mireille Clerbout

Publication date: 14 January 2003

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2000.2924

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (1)

Synchronization expressions with extended join operation

Cites Work

• Models for concurrency: Towards a classification
• Semi-commutations
• Synchronization expressions with extended join operation
• Synchronization languages
• The difference between splitting in \(n\) and \(n+1\)
• The limit of splitn-language equivalence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Synchronization languages and rewriting systems