Rob van Glabbeek, Ursula Goltz  Home/Search
Context
Related
| stanford.edu/pub/delta.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/pub/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Flow event structures were introduced as a model for giving semantics to process algebras. However, it turned out that certain restrictions have to be made to make them suitable for this purpose. In this paper, we investigate subclasses of ow event structures which are both suited for the process algebraic composition operators, and for action refinement as a means of regarding processes on different levels of abstraction. First, suitable... (Update)
Active bibliography (related documents): More All
0.5: Metric Semantics and Full Abstractness for Action.. - den Hartog, de Vink, .. (2001) (Correct)
0.2: Executing Transactions in Zero-Safe Nets - Bruni, Montanari (2000) (Correct)
0.2: Transactions and Zero-Safe Nets - Bruni, Montanari (2001) (Correct)
Similar documents based on text: More All
0.8: Refinement of Actions and Equivalence Notions for Concurrent .. - van Glabbeek, Goltz (1998) (Correct)
0.7: Parallel Product Of Event Structures - Castellani, Zhang (1997) (Correct)
0.6: Interleaving Semantics and Action Refinement with Atomic.. - Czaja, van Glabbeek, Goltz (1991) (Correct)
BibTeX entry: (Update)
@misc{ glabbeek-wellbehaved,
author = "Rob van Glabbeek and Ursula Goltz",
title = "Well-behaved Flow Event Structures for Parallel Composition and Action
Refinement",
url = "citeseer.ist.psu.edu/524860.html" }
Citations (may not include all citations):168 Theoretical Computer Science (context) - Nielsen, Plotkin et al. - 1981
125 Event structures (context) - Winskel - 1986
33 Permutation of transitions: an event structure semantics for.. (context) - Boudol, Castellani - 1988
17 Flow models of distributed computations: Three equivalent se.. (context) - Boudol, Castellani - 1994
16 the nature of events: another perspective in concurrency (context) - Pinna, Poign et al. - 1995
9 Parallel product of event structures - Castellani, Zhang - 1997
5 Re nement of actions and equivalence notions for concurrent .. (context) - van Glabbeek, Goltz - 2001
2 Re nement of actions in event structures and causal trees (context) - Darondeau, Degano - 1993
1 Abstraktion in ereignisbasierten Modellen verteilter Systeme (context) - Costantini - 1995
Documents on the same site (http://boole.stanford.edu/pub/): More
LINGOL - A Progress Report - Pratt (1975) (Correct)
Token-controlled place refinement in hierarchical Petri.. - Stork, van Glabbeek (Correct)
Satisfiability of Inequalities in a Poset - Pratt, Tiuryn (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC