A precongruence format for should testing preorder
From MaRDI portal
Publication:974134
DOI10.1016/j.jlap.2010.03.001zbMath1208.68108MaRDI QIDQ974134
Xiaowei Huang, Weiming Lu, Li Jiao
Publication date: 27 May 2010
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.001
68Q55: Semantics in the theory of computing
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Structural operational semantics for weak bisimulations
- Transition system specifications with negative premises
- Fair testing
- SOS formats and meta-theory: 20 years after
- Higher-level synchronising devices in Meije-SCCS
- A calculus of communicating systems
- Structured operational semantics and bisimulation as a congruence
- Testing equivalences for processes
- Finite axiom systems for testing preorder and De Simone process languages
- Ordered SOS process languages for branching and eager bisimulations
- Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
- Rooted branching bisimulation as a congruence
- Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
- Process Algebra
- Communicating sequential processes
- Bisimulation can't be traced
- Precongruence formats for decorated trace semantics
- Theoretical Aspects of Computing – ICTAC 2005
- Liveness, Fairness and Impossible Futures
