Probabilistic π-Calculus and Event Structures (2008)
Daniele Varacca, Nobuko Yoshida
This paper proposes two semantics of a probabilistic variant of the π-calculus: an interleaving semantics in terms of Segala automata and a true concurrent semantics, in terms of probabilistic event...
Compositional Event Structure Semantics for the π-Calculus (2008)
Silvia Crafa, Daniele Varacca, Nobuko Yoshida
Abstract. We propose the first compositional event structure semantics for a fully expressive π-calculus, generalising Winskel’s event structures for CCS. The π-calculus we model is the...
New Perspectives on Fairness (2008)
Luca Aceto, Daniele Varacca, Hagen Völzer
Fairness is an important concept that appears repeatedly in various forms in different areas of computer science, and plays a crucial role in the semantics and verification of reactive systems....
Security Types for Dynamic Web Data 1 Mariangiola Dezani-Ciancaglini a Silvia Ghilezan b (2008)
Jovanka Pantović, Daniele Varacca
We describe a type system for the Xdπ calculus of Gardner and Maffeis. An Xdπ-network is a network of locations, where each location consists of both a data tree (which contains scripts and...
Mariangiola Dezani, Alain Frisch, Haruo Hosoya, Daniele Varacca
Abstract. Semantic subtyping is a relatively new approach to define subtyping relations where types are interpreted as sets and union, intersection and negation types have the corresponding...
Abstract Probabilistic Event Structures and Domains (2008)
Daniele Varacca, Hagen Völzer, Glynn Winskel
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...
Encoding CDuce in the Cπ-calculus ⋆ (2008)
Mariangiola Dezani-ciancaglini, Daniele Varacca
Abstract. CDuce is a functional programming language featuring overloaded functions and a rich type system with recursive types, subtyping, union, negation and intersection types. The boolean...
Typed Event Structures and the π-Calculus – Extended Abstract – (2008)
Daniele Varacca, Nobuko Yoshida
Abstract. We propose a typing system for the true concurrent model of event structures that guarantees an interesting behavioural property known as confusion freeness. A system is confusion free if...
Encoding CDuce in the Cπ-calculus (2008)
Mariangiola Dezani-ciancaglini, Daniele Varacca
Abstract. We present a type faithful encoding of CDuce into the Cπ-calculus. These calculi are two variants of, respectively, the λ-calculus and the π-calculus, characterised by rich typing and...
Semantic Subtyping for the π-Calculus (2008)
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
Subtyping relations for the #-calculus are usually defined in a syntactic way, by means of structural rules. We propose a semantic characterisation of channel types and use it to derive a subtyping...
Compositional Event Structure Semantics of the Internal pi-Calculus (2007)
Crafa, Silvia, Varacca, Daniele, Yoshida, Nobuko
We propose the first compositional event structure semantics for a fully expressive pi-calculus, generalising Winskel's event structures for CCS. The pi-calculus we model is the piI-calculus...
Probabilistic pi-calculus and Event Structures (2007)
Varacca, Daniele, Yoshida, Nobuko
This paper proposes two semantics of a probabilistic variant of the pi-calculus: an interleaving semantics in terms of Segala automata and a true concurrent semantics, in terms of probabilistic event...
Security Types for Dynamic Web Data (2007)
Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Varacca, Daniele
We describe a type system for the Xdpi calculus. An Xdpi-network is a network of locations, where each location consists of both a data tree (which contains scripts and pointers to nodes in trees at...
Compositional Event Structure Semantics of the Internal pi-Calculus (2007)
Crafa, Silvia, Varacca, Daniele, Yoshida, Nobuko
We propose the first compositional event structure semantics for a fully expressive pi-calculus, generalising Winskel's event structures for CCS. The pi-calculus we model is the piI-calculus...
Security Types for Dynamic Web Data (2007)
Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Pantovic, Jovanka, Varacca, Daniele
We describe a type system for the Xdpi calculus. An Xdpi-network is a network of locations, where each location consists of both a data tree (which contains scripts and pointers to nodes in trees at...
Probabilistic pi-calculus and Event Structures (2007)
Varacca, Daniele, Yoshida, Nobuko
This paper proposes two semantics of a probabilistic variant of the pi-calculus: an interleaving semantics in terms of Segala automata and a true concurrent semantics, in terms of probabilistic event...
Temporal logics and model checking for fairly correct systems (2006)
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if there exists a...
Typed event Structures and the π-calculus (2006)
Daniele Varacca, Nobuko Yoshida
Abstract. We propose a typing system for the true concurrent model of event structures that guarantees an interesting behavioural property known as confusion freeness. A system is confusion free if...
Probabilistic event structures and domains (2004)
This paper investigates probability in the presence of causal dependence. More precisely, it studies the process model of probabilistic event structures. In their simplest form probabilistic choice...
Probabilistic Event Structures and Domains Daniele Varacca (2004)
And Glynn Winskel, Daniele Varacca, Glynn Winskel
We investigate probability in the presence of causal dependence and independence. More precisely, we study the process model of probabilistic event structures. We characterise the "global...
Probabilistic event structures and domains (2004)
Daniele Varacca, Hagen Völzer, Glynn Winskel
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,...
Daniele Varacca, Daniele Varacca, Brics Phd School
Nondeterminism is modelled in domain theory by the notion of a powerdomain, while probability is modelled by that of the probabilistic powerdomain. Some problems arise when we want to combine them in...
for Probabilistic Computation (2003)
Daniele Varacca, Copyright C, Daniele Varacca, Daniele Varacca
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...
Probabilistic Petri Nets and Mazurkiewicz Equivalence (2003)
Daniele Varacca, Mogens Nielsen
We propose a novel notion of probabilistic net systems. We define their semantics in terms of probabilistic languages. We extend the notion of Mazurkiewicz equivalence to probabilistic languages. We...
The Powerdomain of Indexed Valuations (2002)
Daniele Varacca Brics, Daniele Varacca
This paper is about combining nondeterminism and probabilities. We study this phenomenon from a domain theoretic point of view. In domain theory, nondeterminism is modeled using the notion of...
The powerdomain of indexed valuations (2002)
Copyright C, Daniele Varacca, Daniele Varacca, Daniele Varacca
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...
Basic Research in Computer Science
Probabilistic Event Structures, Daniele Varacca, Hagen Völzer, Glynn Winskel, Copyright C, Daniele Varacca, ...
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...
This document in subdirectoryRS/04/10/ Probabilistic Event Structures and Domains
Daniele Varacca, Hagen Völzer, Glynn Winskel, Copyright C, Daniele Varacca, Hagen Völzer, ...
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...