scientific article; zbMATH DE number 1106703
From MaRDI portal
Publication:4372017
zbMath0907.68130MaRDI QIDQ4372017
Publication date: 21 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Parallel algorithms in computer science (68W10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (21)
Implementing dataflow with threads ⋮ A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems ⋮ Further results on generalised communicating P systems ⋮ Keep it fair: equivalence and composition ⋮ Encoding the dynamics of deterministic systems ⋮ Relational structures model of concurrency ⋮ Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing ⋮ Distributed Control of Discrete-Event Systems: A First Step ⋮ Petri games: synthesis of distributed systems with causal memory ⋮ Graph-based communication in Eden ⋮ The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ 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 ⋮ Petri net reactive modules ⋮ A Hybrid Approach to Modeling Biological Systems ⋮ Oclets – Scenario-Based Modeling with Petri Nets ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Modal algebra and Petri nets ⋮ Observable liveness of Petri nets ⋮ Plan coordination by revision in collective agent based systems.
This page was built for publication:
