scientific article; zbMATH DE number 1754635
From MaRDI portal
Publication:4535063
zbMath0986.68518MaRDI QIDQ4535063
Mihalis Yannakakis, Kousha Etessami, Rajeev Alur
Publication date: 12 June 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760797
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (8)
Realizability of high-level message sequence charts: closing the gaps ⋮ Regular sets of infinite message sequence charts ⋮ A Theory of Formal Choreographic Languages ⋮ Pattern matching and membership for hierarchical message sequence charts ⋮ Conversation protocols: a formalism for specification and verification of reactive electronic services ⋮ Message-passing automata are expressively equivalent to EMSO logic ⋮ Event Correlation with Boxed Pomsets ⋮ A theory of regular MSC languages
This page was built for publication:
