The subobject classifier of the category of functional bisimulations
From MaRDI portal
Publication:1301354
DOI10.14492/hokmj/1351001215zbMath0936.18003MaRDI QIDQ1301354
Publication date: 14 May 2000
Published in: Hokkaido Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.14492/hokmj/1351001215
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18B20: Categories of machines, automata
Related Items