Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics

@inproceedings{Gazda2010CongruenceFT,
  title={Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics},
  author={Maciej Gazda and Wan Fokkink},
  booktitle={SOS},
  year={2010}
}
One of the basic sanity properties of a behavioural semantic s is that it constitutes a congruence with respect to standard process operators. This issue has been t raditionally addressed by the development of rule formats for transition system specifications that de fine process algebras. In this paper we suggest a novel, orthogonal approach. Namely, we focus on a numb er of process operators, and for each of them attempt to find the widest possible class of congruenc es. To this end, we… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Similar Papers

Loading similar papers…