Late and early semantics coincide for testing

DOI10.1016/0304-3975(94)00304-2zbMath0873.68128OpenAlexW2036925387MaRDI QIDQ673146

Anna Ingólfsdóttir

Publication date: 28 February 1997

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

Full work available at URL: https://doi.org/10.1016/0304-3975(94)00304-2

zbMATH Keywords

operational semanticsCCS

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (2)

A semantic theory for value-passing processes based on the late approach ⋮ Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus

Cites Work

• Communicating processes with value-passing and assignments
• A calculus of communicating systems
• A calculus of mobile processes. II
• A theory of communicating processes with value passing
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Late and early semantics coincide for testing