scientific article; zbMATH DE number 2081110
From MaRDI portal
Publication:4474224
zbMath1052.68633MaRDI QIDQ4474224
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2245/22450256.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Bounded MSC communication, Regular sets of infinite message sequence charts, Quantitative Analysis of Communication Scenarios, Regular set of representatives for time-constrained MSC graphs, Propositional Dynamic Logic for Message-Passing Systems, A Kleene theorem and model checking algorithms for existentially bounded communicating automata, Unnamed Item, Message-passing automata are expressively equivalent to EMSO logic, A theory of regular MSC languages