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
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)
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