Publication:4536376
From MaRDI portal
zbMath0996.68506MaRDI QIDQ4536376
P. S. Thiagarajan, K. Narayan Kumar, Madhavan Mukund, Jesper G. Henriksen
Publication date: 25 June 2002
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
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