Arend Rensink  Home/Search
Context
Related
| cs.utwente.nl/~rensink/pa...HIB9529.ps 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: wwwhome.cs.utwente...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Determinism is a theoretically and practically important concept in labelled transition systems and trees. We study its generalisation to event structures. It turns out that the result depends on what characterising property of tree determinism one sets out to generalise. We present three distinct notions of event structure determinism, and show that none of them shares all the pleasant properties of the one concept for trees. 1 Introduction Consider the class of edge-labelled trees, i.e.,... (Update)
Similar documents based on text: More All
0.8: Abstraction and Refinement in Configuration Structures - Costantini, Rensink (1992) (Correct)
0.6: Action Refinement - An Application of Process Theory on.. - Huhn, Wehrheim, Denker (1995) (Correct)
0.5: Deterministic Pomsets - Rensink (1994) (Correct)
BibTeX entry: (Update)
@misc{ rensink-denotational,
author = "Arend Rensink",
title = "Denotational, Causal, and Operational Determinism in Event Structures",
url = "citeseer.ist.psu.edu/rensink95denotational.html" }
Citations (may not include all citations):125 Event structures (context) - Winskel - 1987
70 Branching processes of Petri nets (context) - Engelfriet - 1991
69 Causal trees (context) - Darondeau, Degano - 1989
44 event structures and domains (context) - Nielsen, Plotkin et al. - 1981
41 A classification of models for concurrency (context) - Sassone, Nielsen et al. - 1993
21 Relationships between models for concurrency - Nielsen, Sassone et al. - 1994
19 the semantics of Petri nets - Meseguer, Montanari et al. - 1992
10 Deterministic behavioural models for concurrency - Sassone, Nielsen et al. - 1993
6 Causal trees = interleaving + causality (context) - Darondeau, Degano - 1990
5 Hildesheimer Informatik-Berichte (context) - Rensink - 1994
3 event structure isomorphism = step sequence equivalence (context) - Vaandrager - 1991
3 Further deterministic behavioural models for concurrency (context) - Rensink - 1995
2 A complete theory of deterministic event structures - Rensink - 1995
2 Available as TD (context) - Sassone, Semantics et al. - 1994
Documents on the same site (http://wwwhome.cs.utwente.nl/~rensink/publications.html): More
A Typed Functional Calculus with State - Rensink (1997) (Correct)
Weak Sequential Composition in Process Algebras - Rensink, Wehrheim (1994) (Correct)
Dependency-Based Action Refinement - Rensink, Wehrheim (1997) (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