Refinement of actions in causality based models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We consider an operator for refinement of actions to be used in the design of concurrent systems. Actions on a given level of abstraction are replaced by more complicated processes on a lower level. This is done in such a way that the behaviour of the refined system may be inferred compositionally from the behaviour of the original system and from the behaviour of the processes substituted for actions. We define this refinement operation for causality based models like event structures and Petri nets. For Petri nets, we relate it to other approaches for refining transitions.

Original languageEnglish
Title of host publicationStepwise Refinement of Distributed Systems: Models, Formalisms, Correctness. REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989. Proceedings
EditorsJ.W. de Bakker, W.P. de Roever, G. Rozenberg
PublisherSpringer-Verlag
Pages267-300
Number of pages34
Volume430
ISBN (Electronic)978-3-540-47035-9
ISBN (Print)978-3-540-52559-2
DOIs
Publication statusPublished - 25 Apr 1990
EventREX Workshop, 1989 - Mook, Netherlands
Duration: 29 May 19892 Jun 1989

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin, Heidelberg
Volume430
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Workshop

WorkshopREX Workshop, 1989
Country/TerritoryNetherlands
CityMook
Period29/05/892/06/89

Fingerprint

Dive into the research topics of 'Refinement of actions in causality based models'. Together they form a unique fingerprint.

Cite this