## Some Properties of Refinement

Benjes, Friederike

 Preview
PDF
TR-96-014.pdf - Published

 URL: https://ub-madoc.bib.uni-mannheim.de/798 URN: urn:nbn:de:bsz:180-madoc-7989 Document Type: Working paper Year of publication: 1996 The title of a journal, publication series: Technical Reports Volume: 96-014 Place of publication: Mannheim Publication language: English Institution: School of Business Informatics and Mathematics > Sonstige - Fakultät für Mathematik und Informatik MADOC publication series: Veröffentlichungen der Fakultät für Mathematik und Informatik > Institut für Informatik > Technical Reports Subject: 004 Computer science, internet Subject headings (SWD): Reaktives System Abstract: Two problems on action refinement are considered: First we treat the problem that there may exist configurations in the product ${\cal E}_1~\|_A~{\cal E}_2$ of event structures that do not map to configurations of the individual event structures under projection. [Sch91] and [CZ89] showed that languages using only the operators $+, ;, ~\|_A$ do not create event structures of that type. We show the same for languages extended with a refinement operator. In the second part the connection between syntactic and semantic refinement is analyzed. We define a notion of syntactic refinement in which the refinement of a synchronizing action is seen as a parallel call of procedure in which one of the participating processes takes the control and the other one inscribes. This improves a version of syntactic refinement developed in [GGR92] which coincides with semantic refinement on flow event structures only under fairly restrictive conditions if synchronizing actions are refined. We show that our notion of syntactic refinement coincides with semantic refinement also for synchronizing actions provided they are not auto-concurrent.

 Dieser Eintrag ist Teil der Universitätsbibliographie. Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.

### Citation Example and Export

Benjes, Friederike (1996) Some Properties of Refinement. Technical Reports Mannheim 96-014 [Working paper]
 Preview