scientific article
From MaRDI portal
Publication:3210197
zbMath0722.68085MaRDI QIDQ3210197
José Meseguer, Ugo Montanari, Pierpaolo Degano
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Linear logic as a logic of computations, Axiomatizing Petri net concatenable processes, Petri nets, Horn programs, linear logic and vector games, An algebraic view of interleaving and distributed operational semantics for CCS, From petri nets to linear logic, On the category of Petri net computations, Rewriting logic as a semantic framework for concurrency: a progress report, On continuous time agents, Petri nets are dioids: a new algebraic foundation for non-deterministic net theory, Petri nets are monoids, Open Petri nets, An axiomatization of the algebra of Petri net concatenable processes, Process versus unfolding semantics for Place/Transition Petri nets, On the implementation of concurrent calculi in net calculi: two case studies, Conditional rewriting logic as a unified model of concurrency, The category of typed graph grammars and its adjunctions with categories of derivations, Spreading nets: a uniform approach to unfoldings, An algebraic semantics for structured transition systems and its application to logic programs, Timing Petri Nets categorically, A trace semantics for Petri Nets, Abstract processes and conflicts in place/transition systems, Petri nets based on Lawvere theories, On Causal Semantics of Petri Nets, An algebraic characterization of independence of Petri net processes, Processes of timed Petri nets, Zero-safe nets: Comparing the collective and individual token approaches., Contextual Petri nets, asymmetric event structures, and processes
