Dualities between nets and automata induced by schizophrenic objects

DOI10.1007/3-540-60164-3_18zbMath1502.68190OpenAlexW2123707143MaRDI QIDQ5057464

Eric Badouel, Philippe Darondeau

Publication date: 16 December 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60164-3_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Partial (set) 2-structures. I: Basic notions and the representation problems
• Semantics: foundations and applications. REX workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings
• General Functorial Semantics, I