*For the most recent entries see the
Petri Nets Newsletter.*

## Conformance: A Precongruence close to Bisimilarity.

Arun-Kumar, S.;
Natarajan, V.
In:
Desel, J.: *Structures in Concurrency Theory, Proceedings of the International Workshop on Structures in Concurrency Theory (STRICT), Berlin, 11-13 May 1995*, pages 55-68.
1995.

Abstract:
In a previous paper we had defined the notion of an efficiency preorder
for concurrent systems. In this paper, we present a coarser relation,
called the elaboration preorder, which is finer than observational
equivalence. Further, this preorder is incomparable with the almost-weak
bisimulation preorder of Sangiorgi and Milner. In particular, the
elaboration preorder is preserved under all contexts except summation. The
largest precongruence contained in it, which we call conformance, is
obtained by the usual means and a complete axiomatization for conformance
of finite processes is given. The paper ends with an example to show the
use of this relation.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*