scientific article; zbMATH DE number 1759427
From MaRDI portal
Publication:4536376
zbMath0996.68506MaRDI QIDQ4536376
P. S. Thiagarajan, K. Narayan Kumar, Madhavan Mukund, Jesper G. Henriksen
Publication date: 25 June 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Reasoning about layered message passing systems ⋮ Regular sets of infinite message sequence charts ⋮ Message-passing automata are expressively equivalent to EMSO logic ⋮ A theory of regular MSC languages
This page was built for publication: