A proof-theoretic characterization of observational equivalence

DOI10.1016/0304-3975(85)90129-XzbMath0567.68020MaRDI QIDQ1060006

Colin Stirling

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

observational equivalencemodal languagemodal proof systemsnondeterministic languages of processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (7)

Compositionality of Hennessy-Milner logic by structural operational semantics ⋮ A context dependent equivalence between processes ⋮ A refinement calculus for specifications in Hennessy-Milner logic with recursion ⋮ Proof systems for satisfiability in Hennessy-Milner logic with recursion ⋮ Full abstractness for a functional/concurrent language with higher-order value-passing ⋮ An algebraic characterization of transition system equivalences ⋮ Inductive synthesis of recursive processes from logical properties

Cites Work

• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• A fully abstract denotational model for higher-order processes
• Synchronous and asynchronous experiments on processes
• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A proof-theoretic characterization of observational equivalence