Mutually testing processes (extended abstract)

DOI10.1007/978-3-642-40184-8_6MaRDI QIDQ2842097zbMATH OpenOpenAlexFDO

Authors Giovanni Bernardi, Matthew Hennessy

Publication date 12 August 2013

Published in CONCUR 2013 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.06360

Mathematics Subject Classification ID

Internet topics (68M11) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: In the standard testing theory of DeNicola-Hennessy one process is considered to be a refinement of another if every test guaranteed by the former is also guaranteed by the latter. In the domain of web services this has been recast, with processes viewed as servers and tests as clients. In this way the standard refinement preorder between servers is determined by their ability to satisfy clients. But in this setting there is also a natural refinement preorder between clients, determined by their ability to be satisfied by servers. In more general settings where there is no distinction between clients and servers, but all processes are peers, there is a further refinement preorder based on the mutual satisfaction of peers. We give a uniform account of these three preorders. In particular we give two characterisations. The first is behavioural, in terms of traces and ready sets. The second, for finite processes, is equational.

Recommendations

• Mutually testing processes
• Refusal testing
• Multiparty testing preorders
• scientific article; zbMATH DE number 3956420
• Testing preorders for probabilistic processes.

Cited in

(7)

• On an effective hierarchy of communicating processes: Separation principle and testing
• scientific article; zbMATH DE number 1890601 (Why is no real title available?)
• Multiparty testing preorders
• Constructing weak simulations from linear implications for processes with private names
• Mutually testing processes
• Sub-behaviour relations for session-based client/server systems
• Multiparty testing preorders

This page was built for publication: Mutually testing processes (extended abstract)

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