Publication:4372017
From MaRDI portal
zbMath0907.68130MaRDI QIDQ4372017
Publication date: 21 January 1998
68W10: Parallel algorithms in computer science
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Distributed Control of Discrete-Event Systems: A First Step, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems, Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing, A Hybrid Approach to Modeling Biological Systems, Encoding the dynamics of deterministic systems, Relational structures model of concurrency, Abstract state machines: a unifying view of models of computation and of system design frameworks, On stubborn sets in the verification of linear time temporal properties, Possible worlds and resources: The semantics of \(\mathbf{BI}\), Plan coordination by revision in collective agent based systems., Modal algebra and Petri nets, Observable liveness of Petri nets, Implementing dataflow with threads, Petri net reactive modules, Oclets – Scenario-Based Modeling with Petri Nets