A precongruence format for should testing preorder
type: Item
instance of: scholarly article
title: A precongruence format for should testing preorder
zbMATH Open document ID: 1208.68108
author: Xiaowei Huang
author: Li Jiao
author: Weiming Lu
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-05-27T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5712837
zbMATH Keywords: should testing preorder
zbMATH Keywords: rule format
zbMATH Keywords: testing theory
zbMATH Keywords: structural operational semantics
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.03.001
OpenAlex ID: W2024848178
cites work: Structural operational semantics.
cites work: Process Algebra
cites work: Structural operational semantics for weak bisimulations
cites work: Precongruence formats for decorated trace semantics
cites work: Bisimulation can't be traced
cites work: Fair testing
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Rooted branching bisimulation as a congruence
cites work: Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
cites work: Divide and congruence applied to \(\eta\)-bisimulation
cites work: Transition system specifications with negative premises
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Communicating sequential processes
cites work: A calculus of communicating systems
cites work: Q3992568
cites work: SOS formats and meta-theory: 20 years after
cites work: Testing equivalences for processes
cites work: Finite axiom systems for testing preorder and De Simone process languages
cites work: Ordered SOS process languages for branching and eager bisimulations
cites work: Process languages with discrete relative time based on the ordered SOS format and rooted eager bisimulation
cites work: The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
cites work: Theoretical Aspects of Computing – ICTAC 2005
cites work: Liveness, Fairness and Impossible Futures
DOI: 10.1016/J.JLAP.2010.03.001
description: scientific article; zbMATH DE number 5712837