Labelled transition systems as a Stone space
From MaRDI portal
Publication:5310632
DOI10.2168/LMCS-1(1:1)2005zbMath1125.68083MaRDI QIDQ5310632
Publication date: 11 October 2007
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B44: Temporal logic
Related Items
EXPTIME-complete Decision Problems for Modal and Mixed Specifications, Model Checking for Action Abstraction, Complexity of Decision Problems for Mixed and Modal Specifications, On model checking multiple hybrid views, Modal and mixed specifications: key decision problems and their complexities