Failure-based equivalence of constraint automata

DOI10.1080/00207160902915886zbMath1205.68203OpenAlexW2088867312WikidataQ57835343 ScholiaQ57835343MaRDI QIDQ3056378

No author found.

Publication date: 12 November 2010

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207160902915886

zbMATH Keywords

coordinationcompositional semanticsconstraint automatafailure-based equivalences

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites Work

• Unnamed Item
• Unnamed Item
• Compositional failure-based semantic models for basic LOTOS
• Modeling component connectors in Reo by constraint automata
• Compositional Failure-based Equivalence of Constraint Automata
• Reo: a channel-based coordination model for component composition

This page was built for publication: Failure-based equivalence of constraint automata