Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
2 results

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo ; Rocco De Nicola ; Michele Loreti.
Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properties that are desirable. Probabilistic trace-distribution equivalence differentiates systems that can perform the same set&nbsp;[&hellip;]
Published on March 3, 2014
Volume 10, Issue 1

Multiparty testing preorders

Rocco de Nicola ; Hernán Melgratti.
Variants of the must testing approach have been successfully applied in service oriented computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between two peers. It has however been argued that multiparty scenarios call for more permissive&nbsp;[&hellip;]
Published on January 5, 2023
Volume 19, Issue 1
  • < Previous
  • 1
  • Next >