Processes and unfoldings: concurrent computations in adhesive categories

DOI10.1017/S096012951200031XzbMath1342.68223OpenAlexW2071125426MaRDI QIDQ5740371

Paolo Baldan, Barbara König, Tobias Heindel, Andrea Corradini, Paweł Sobociński

Publication date: 26 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012951200031x

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of machines, automata (18B20)

Related Items (2)

Unnamed Item ⋮ A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications

Cites Work

• Unnamed Item
• Algebraic approach to single-pushout graph transformation
• Unfolding semantics of graph transformation
• Subobject transformation systems
• A framework for the verification of infinite-state graph transformation systems
• Petri nets, algebras, morphisms, and compositionality
• Categories of partial maps
• Exponentiable morphisms, partial products and pullback complements
• Contextual Petri nets, asymmetric event structures, and processes
• Domain and event structure semantics for Petri nets with read and inhibitor arcs
• Unfolding-based diagnosis of systems with an evolving topology
• Fundamentals of algebraic graph transformation
• Van Kampen Colimits as Bicolimits in Span
• Unfolding Grammars in Adhesive Categories
• Sesqui-Pushout Rewriting
• Toposes Are Adhesive
• Parallelism and concurrency in high-level replacement systems
• On the semantics of place/transition Petri nets
• Finitary $\mathcal{M}$ -Adhesive Categories
• Hereditary Pushouts Reconsidered
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Adhesive and quasiadhesive categories

This page was built for publication: Processes and unfoldings: concurrent computations in adhesive categories