tailieunhanh - Probabilistic Event Structures and Domains

Clients in the system specify an interest in the type of events that they are interested in. Some examples of interests specified by clients could be sports events or events sent to a certain discussion group. It is the system, which computes the clients that should receive a certain event. A particular event may thus be consumed by zero or more clients registered with the system. Events have explicit or implicit information pertaining to the clients which are interested in the event. In the former case we say that the destination list is internal to the event, while in the latter case the destination list is. | BRICS RS-04-10 Varacca et al. Probabilistic Event Structures and Domains n BRICS Basic Research in Computer Science Probabilistic Event Structures and Domains Daniele Varacca Hagen Volzer Glynn Winskel BRICS Report Series RS-04-10 ISSN 0909-0878 June 2004 Copyright 2004 Daniele Varacca Hagen Volzer Glynn Winskel. BRICS Department of Computer Science University of Aarhus. All rights reserved. Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Report Series publications. Copies may be obtained by contacting BRICS Department of Computer Science University of Aarhus Ny Munkegade building 540 DK-8000 Aarhus C Denmark Telephone 45 8942 3360 Telefax 45 8942 3255 Internet BRICS@ BRICS publications are in general accessible through the World Wide Web and anonymous FTP through these URLs http ftp This document in subdirectory RS 04 10 Probabilistic Event Structures and Domains Daniele Varacca1 Hagen Volzer2 and Glynn Winskel3 1 LIENS - Ecole Normale Superieure France 2 Institutfur Theoretische Informatik - Universitat zu Lubeck Germany 3 Computer Laboratory - University of Cambridge UK Abstract. This paper studies how to adjoin probability to event structures leading to the model of probabilistic event structures. In their simplest form probabilistic choice is localised to cells where conflict arises in which case probabilistic independence coincides with causal independence. An application to the semantics of a probabilistic CCS is sketched. An event structure is associated with a domain that of its configurations ordered by inclusion. In domain theory probabilistic processes are denoted by continuous valuations on a domain. A key result of this paper is a representation theorem showing how continuous valuations on the domain of a confusion-free event structure correspond to the probabilistic .