scientific article
From MaRDI portal
Publication:3873555
zbMath0434.68041MaRDI QIDQ3873555
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
eventcasesconcurrencyconflict resolutiondistributed processingprocessesconditionsynchronic structureenlogic structure
Graph theory (including graph drawing) in computer science (68R10) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Axiomatic systems theory (93A05)
Related Items (10)
Petri nets, event structures and domains. I ⋮ A partial ordering semantics for CCS ⋮ An algebraic description of system behaviours ⋮ Universal axioms for bisimulations ⋮ Graph rewriting for a partial ordering semantics of concurrent constraints programming ⋮ Structure matrices for Petri nets and their applications ⋮ Amalgamation of graph transformations: a synchronization mechanism ⋮ D-continuous causal nets: A model of non-sequential processes ⋮ Nets, sequential components and concurrency relations ⋮ An abstract machine for concurrent modular systems: CHARM
This page was built for publication:
