scientific article

From MaRDI portal

Revision as of 08:07, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3687725

Jump to:navigation, search

zbMath0571.68044MaRDI QIDQ3687725

Goltz, Ursula, Wolfgang Reisig

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semantics unfoldings communicating sequential processes firing sequences predicate/transition-nets net translation non- interleaving semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)

Related Items (4)

Concurrent bisimulations in Petri nets ⋮ Causal behaviours and nets ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ A trace semantics for Petri Nets

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3687725&oldid=17167905"