A Categorial View of Process Refinement

A very general notion of refinement of event structures is presented that refines both the events and the relations of causality and conflict. It is based on a purely semantic construction based on sections of a functor between domain-like categories. The present construction is compared to others in the literature.

[1]  Nissim Francez,et al.  Decomposition of Distributed Programs into Communication-Closed Layers , 1982, Sci. Comput. Program..

[2]  Roberto Gorrieri,et al.  Atomic Refinement in Process Description Languages , 1991, MFCS.

[3]  Luca Aceto,et al.  Towards action-refinement in process algebras , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[4]  Grzegorz Rozenberg,et al.  Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency , 1988, Lecture Notes in Computer Science.

[5]  Grzegorz Rozenberg,et al.  Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness , 1989, Lecture Notes in Computer Science.

[6]  Glynn Winskel,et al.  Event Structures , 1986, Advances in Petri Nets.

[7]  Willem P. de Roever,et al.  Designing Distributed Algorithms by Means of Formal Sequentially Phased Reasoning (Extended Abstract) , 1989, WDAG.

[8]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[9]  Rocco De Nicola,et al.  Partial orderings descriptions and observations of nondeterministic concurrent processes , 1988, REX Workshop.

[10]  K. Mani Chandy.  Parallel program design , 1989 .

[11]  Kim S. Larsen,et al.  Fully abstract models for a process language with refinement , 1988, REX Workshop.

[12]  Philippe Darondeau,et al.  Event Structures, Causal Trees, and Refinements , 1990, MFCS.

[13]  Ursula Goltz,et al.  Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract) , 1989, MFCS.

[14]  Glynn Winskel,et al.  Petri Nets, Event Structures and Domains, Part I , 1981, Theor. Comput. Sci..

[15]  Glynn Winskel,et al.  Domain Theoretic Models of Polymorphism , 1989, Inf. Comput..

[16]  Mannes Poel,et al.  Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach , 1991, CONCUR.

[17]  Pierre A. Humblet,et al.  A Distributed Algorithm for Minimum-Weight Spanning Trees , 1983, TOPL.