Observing behaviour categorically
From MaRDI portal
Publication:2956688
DOI10.1007/3-540-60692-0_54zbMath1354.68200MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
18F20: Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects)
Related Items
Open maps, behavioural equivalences, and congruences, Open maps, behavioural equivalences, and congruences, Unifying behavioral equivalences of timed transition systems, Clustering for Petri nets, Causality versus true-concurrency, Weak Bisimilarity Coalgebraically