Nets, time and space
DOI10.1016/0304-3975(95)00116-6zbMath0872.68127MaRDI QIDQ672863
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00116-6
continuity; reachability; liveness; duality; Petri nets; concurrency; processes; compilation of nets; limits of precision; measurement and modeling of continuous variables; security constructions
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work