scientific article; zbMATH DE number 3594628

MaRDI QIDQ4160381zbMATH OpenFDO

Authors Ryszard Janicki

Publication date 1978

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Cited in

(4)

• Notes on finite asynchronous automata
• Theory of traces
• Membership problems for regular and context-free trace languages
• Nets, sequential components and concurrency relations

This page was built for publication:

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