Synchronization languages

DOI10.1016/S0304-3975(97)00134-5MaRDI QIDQ1285575zbMATH OpenOpenAlexFDO

Authors Mireille Clerbout, Yves Roos, Isabelle Ryl

Publication date 28 April 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(97)00134-5

zbMATH Keywords

concurrencyregular languagesrewriting systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• About synchronization languages
• scientific article; zbMATH DE number 871249
• scientific article; zbMATH DE number 1543321
• Generalized synchronization languages
• Synchronization languages and rewriting systems
• Partial characterization of synchronization languages
• scientific article; zbMATH DE number 4035180
• scientific article; zbMATH DE number 3894485
• Rewriting rules for synchronization languages
• scientific article; zbMATH DE number 1435985

Cites work

• Bounded Regular Sets
• scientific article; zbMATH DE number 871249 (Why is no real title available?)
• On congruences and partial orders
• Semi-commutations

Cited in

(14)

• Reducibility of synchronization structures
• Synchronization expressions with extended join operation
• Synchronization languages and rewriting systems
• SC-expressions in object-oriented languages
• scientific article; zbMATH DE number 3978422 (Why is no real title available?)
• scientific article; zbMATH DE number 4035180 (Why is no real title available?)
• About synchronization languages
• scientific article; zbMATH DE number 1156486 (Why is no real title available?)
• scientific article; zbMATH DE number 1543321 (Why is no real title available?)
• Partial characterization of synchronization languages
• scientific article; zbMATH DE number 871249 (Why is no real title available?)
• Generalized synchronization languages
• Synchronization expressions: Characterization results and implementation
• Minimal translations from synchronous communication to synchronizing locks

This page was built for publication: Synchronization languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1285575)