scientific article; zbMATH DE number 785044
From MaRDI portal
Publication:4842533
zbMATH Open0831.68068MaRDI QIDQ4842533FDOQ4842533
Authors: Wilfried Brauer, Robert Gold
Publication date: 14 August 1995
Title of this publication is not available (Why is that?)
Recommendations
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (34)
- Modular construction and partial order semantics of Petri nets
- Title not available (Why is that?)
- Partial-order process algebra (and its relation to Petri nets)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nadia Busi (1968–2007)
- Non-sequential Behaviour of Dynamic Nets
- Title not available (Why is that?)
- Merged processes: a new condensed representation of Petri net behaviour
- Petri boxes and finite precedence
- Compositional process semantics of Petri Boxes
- A Petri nets semantics for data flow networks
- Lectures on Concurrency and Petri Nets
- A compositional dataflow semantics for Petri nets
- Title not available (Why is that?)
- Concurrency and hardware design. Advances in Petri nets
- Concurrency, Synchronization, and Conflicts in Petri Nets
- Maximal confluent processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Nets, Terms and Formulas
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Petri nets and regular processes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- P/R nets and process concepts. II
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computable concurrent processes
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 Q4842533)