Unfolding Grammars in Adhesive Categories

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

Mathematics Subject Classification ID

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