A logical characterization of observation equivalence

DOI10.1016/0304-3975(85)90004-0zbMath0558.68027OpenAlexW2017477569MaRDI QIDQ802306

Stephen L. Bloom, Douglas R. Troeger

Publication date: 1985

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

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90004-0

zbMATH Keywords

synchronization treestrace languageobservation equivalenceinfinitary formal languagetrace logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Proof systems for satisfiability in Hennessy-Milner logic with recursion ⋮ An algebraic characterization of transition system equivalences

Cites Work

• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• Synchronization trees
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical characterization of observation equivalence