scientific article; zbMATH DE number 3594628

zbMATH Open0382.68023MaRDI QIDQ4160381FDOQ4160381

Authors: Ryszard Janicki 

Publication date: 1978

Title of this publication is not available (Why is that?)

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)