Full abstraction for fair testing in CCS (expanded version)

DOI10.2168/LMCS-10(4:2)2014zbMath1310.68150arXiv1409.8056MaRDI QIDQ2929593

Tom Hirschowitz

Publication date: 13 November 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1409.8056

zbMATH Keywords

process algebraprogramming languagesconcurrencygame semanticscategorical semanticspresheaf semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Unnamed Item ⋮ Unnamed Item

This page was built for publication: Full abstraction for fair testing in CCS (expanded version)