Synchronization expressions: Characterization results and implementation

MaRDI QIDQ4941147zbMATH OpenFDO

Authors Kai Salomaa, Sheng Yu

Publication date 26 September 2000

zbMATH Keywords

synchronization expressions

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1543321
• Synchronization expressions with extended join operation
• Partial characterization of synchronization languages
• Synchronization languages
• Generalized synchronization languages

Cited in

(9)

• Synchronization expressions with extended join operation
• Hoare vs Milner: comparing synchronizations in a graphical framework with mobility
• Structured Derivation of Semi-Synchronous Algorithms
• scientific article; zbMATH DE number 3854402 (Why is no real title available?)
• SC-expressions in object-oriented languages
• scientific article; zbMATH DE number 1951131 (Why is no real title available?)
• scientific article; zbMATH DE number 1543321 (Why is no real title available?)
• Integrating synchronization with priority into a Kronecker representation
• Partial characterization of synchronization languages

This page was built for publication: Synchronization expressions: Characterization results and implementation

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