Observing behaviour categorically
From MaRDI portal
Publication:2956688
DOI10.1007/3-540-60692-0_54zbMath1354.68200OpenAlexW1689225743MaRDI QIDQ2956688
Publication date: 19 January 2017
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60692-0_54
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items (6)
Weak Bisimilarity Coalgebraically ⋮ Clustering for Petri nets ⋮ Open maps, behavioural equivalences, and congruences ⋮ Open maps, behavioural equivalences, and congruences ⋮ Causality versus true-concurrency ⋮ Unifying behavioral equivalences of timed transition systems
This page was built for publication: Observing behaviour categorically