Recasting Constraint Automata into Büchi Automata

DOI10.1007/978-3-540-85762-4_11MaRDI QIDQ5505600zbMATH OpenOpenAlexFDO

Authors Mohammad Izadi, Marcello M. Bonsangue

Publication date 27 January 2009

Published in Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85762-4_11

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• Modeling component connectors in Reo by constraint automata
• Compositional failure-based equivalence of constraint automata
• Automata based model checking for Reo connectors
• An Alternative Algorithm for Constraint Automata Product
• Failure-based equivalence of constraint automata

Cites work

• scientific article; zbMATH DE number 3597833 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• Modeling component connectors in Reo by constraint automata
• Reo: a channel-based coordination model for component composition

Cited in

(6)

• Projection for Büchi tree automata with constraints between siblings
• Compositional failure-based equivalence of constraint automata
• Failure-based equivalence of constraint automata
• An Alternative Algorithm for Constraint Automata Product
• A model of context-dependent component connectors
• Projection for Büchi Tree Automata with Constraints between Siblings

Describes a project that uses

Uses Software

• NuSMV
• Reo

This page was built for publication: Recasting Constraint Automata into Büchi Automata

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