Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics - Computer Science > Logic in Computer ScienceReport as inadecuate




Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

Abstract: One of the basic sanity properties of a behavioural semantics is that itconstitutes a congruence with respect to standard process operators. This issuehas been traditionally addressed by the development of rule formats fortransition system specifications that define process algebras. In this paper wesuggest a novel, orthogonal approach. Namely, we focus on a number of processoperators, and for each of them attempt to find the widest possible class ofcongruences. To this end, we impose restrictions on sublanguages ofHennessy-Milner logic, so that a semantics whose modal characterizationsatisfies a given criterion is guaranteed to be a congruence with respect tothe operator in question. We investigate action prefix, alternativecomposition, two restriction operators, and parallel composition.



Author: Maciej Gazda Vrije Universiteit, Amsterdam, Netherlands, Wan Fokkink Vrije Universiteit, Amsterdam, Netherlands

Source: https://arxiv.org/







Related documents