Unfolding Grammars in Adhesive Categories
From MaRDI portal
Publication:2888498
DOI10.1007/978-3-642-03741-2_24zbMath1239.68036OpenAlexW2133541522MaRDI QIDQ2888498
Paweł Sobociński, Paolo Baldan, Barbara König, Tobias Heindel, Andrea Corradini
Publication date: 1 June 2012
Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)
Full work available at URL: https://eprints.soton.ac.uk/188455/1/unfoldingGrammars.pdf
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50)
Related Items (7)
Van Kampen Colimits as Bicolimits in Span ⋮ Unfolding Symbolic Attributed Graph Grammars ⋮ A lattice-theoretical perspective on adhesive categories ⋮ Unfolding-based diagnosis of systems with an evolving topology ⋮ Unnamed Item ⋮ Grammar Morphisms and Weakly Adhesive Categories ⋮ Processes and unfoldings: concurrent computations in adhesive categories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic approach to single-pushout graph transformation
- Unfolding semantics of graph transformation
- A framework for the verification of infinite-state graph transformation systems
- Categories of partial maps
- Van Kampen Colimits as Bicolimits in Span
- The unfolding of general Petri nets
- Unfolding-Based Diagnosis of Systems with an Evolving Topology
- Toposes Are Adhesive
- Parallelism and concurrency in high-level replacement systems
- On the semantics of place/transition Petri nets
- Diagnosis of asynchronous discrete-event systems: a net unfolding approach
- Adhesive and quasiadhesive categories
- Foundations of Software Science and Computation Structures
This page was built for publication: Unfolding Grammars in Adhesive Categories