Interface automata with complex actions: limiting interleaving in interface automata

MaRDI QIDQ5457272zbMATH OpenFDO

Authors Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat

Publication date 14 April 2008

zbMATH Keywords

Web services

Mathematics Subject Classification ID

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

Recommendations

• Modal Interface Automata
• A linear-time branching-time perspective on interface automata
• Interface automata for shared memory
• Modal interface automata
• An algebraic theory of interface automata

Cited in

(1)

• Richer interface automata with optimistic and pessimistic compatibility

This page was built for publication: Interface automata with complex actions: limiting interleaving in interface automata

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