Equivalence of discrete systems
From MaRDI portal
Publication:1082806
zbMATH Open0603.68028MaRDI QIDQ1082806
Publication date: 1985
Published in: Automation and Remote Control (Search for Journal in Brave)
automataPetri netsmultiprocessor systemsparallel processesevent systeminterconnected graphsrepresentability of languages
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (2)
This page was built for publication: Equivalence of discrete systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082806)