Infinite trace equivalence

MaRDI QIDQ2852364zbMATH OpenFDO

Authors Paul Blain Levy

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106002064

Mathematics Subject Classification ID

Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• Infinite trace equivalence
• Unbounded nondeterminism in CSP
• scientific article; zbMATH DE number 4113946
• About the undecidability of program equivalence in finitary languages with state
• scientific article; zbMATH DE number 194122

Cited in

(3)

• Amb Breaks Well-Pointedness, Ground Amb Doesn't
• Infinite trace equivalence
• On the concatenation of infinite traces

This page was built for publication: Infinite trace equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852364)