A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming

DOI10.1007/978-3-642-14521-6_4zbMath1286.68071OpenAlexW1530449155MaRDI QIDQ3585022

Ana Cavalcanti, Marie-Claude Gaudel

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_4

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Test selection for traces refinement ⋮ Testing for refinement in \textsf{Circus}

This page was built for publication: A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming