On Products of Transition Systems
From MaRDI portal
Publication:2873664
DOI10.1016/j.entcs.2008.05.021zbMath1279.18001OpenAlexW2000856099MaRDI QIDQ2873664
Publication date: 24 January 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.05.021
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Categories of machines, automata (18B20)
Cites Work
This page was built for publication: On Products of Transition Systems