Concurrent testing of processes

DOI10.1007/BF01178906zbMath0835.68074MaRDI QIDQ1902297

Matthew C. B. Hennessy

Publication date: 20 November 1995

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

ST-operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Timed testing of concurrent systems, A fixpoint approach to finite delay and fairness, Open maps, behavioural equivalences, and congruences, Unnamed Item, Structural operational semantics for weak bisimulations, A behavioural theory of first-order CML

Cites Work

• Observing localities
• Refinement of actions in event structures and causal trees
• Failures semantics based on interval semiwords is a congruence for refinement
• A partial ordering semantics for CCS
• Adding action refinement to a finite process algebra
• Testing equivalences for processes
• The difference between splitting in \(n\) and \(n+1\)
• Towards action-refinement in process algebras
• Termination, deadlock, and divergence
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item