scientific article; zbMATH DE number 1106703
From MaRDI portal
Publication:4372017
zbMATH Open0907.68130MaRDI QIDQ4372017FDOQ4372017
Publication date: 21 January 1998
Title of this publication is not available (Why is that?)
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (23)
- Plan coordination by revision in collective agent based systems.
- Relational structures model of concurrency
- A Hybrid Approach to Modeling Biological Systems
- ESTL: A Temporal Logic for Events and States
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
- Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing
- Keep it fair: equivalence and composition
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
- Abstract state machines: a unifying view of models of computation and of system design frameworks
- Oclets – Scenario-Based Modeling with Petri Nets
- Observable liveness of Petri nets
- Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
- Petri net reactive modules
- Distributed Control of Discrete-Event Systems: A First Step
- Encoding the dynamics of deterministic systems
- Further results on generalised communicating P systems
- Modal algebra and Petri nets
- On Distributability of Petri Nets
- On stubborn sets in the verification of linear time temporal properties
- Implementing dataflow with threads
- Petri games: synthesis of distributed systems with causal memory
- Graph-based communication in Eden
Recommendations
- Petri Nets 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Nested Petri nets: modeling and analysis of distributed systems with object structure 👍 👎
- Petri net based verification of distributed algorithms: An example 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
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 Q4372017)
