WorldCat Identities

Castellani, Ilaria

Overview
Works: 23 works in 39 publications in 2 languages and 57 library holdings
Genres: Academic theses  Conference papers and proceedings 
Roles: Author, Thesis advisor, Editor, Opponent
Publication Timeline
.
Most widely held works by Ilaria Castellani
Parallel product of event structures by Ilaria Castellani( Book )

6 editions published in 1989 in English and held by 11 WorldCat member libraries worldwide

Abstract: "The parallel product operator may be defined very easily on flow event structures. We show that, for flow event structures satisfying a particular constraint, which is preserved by usual process operators, this product may be characterised as a categorical product."
Bisimulations for concurrency by Ilaria Castellani( Book )

4 editions published between 1987 and 1988 in English and held by 8 WorldCat member libraries worldwide

Permutation of transitions : an event structure semantics for CCS = Permutations de transitions: une sémantique par structures d'evénements pour CCS by Gérard Boudol( Book )

3 editions published in 1988 in English and held by 6 WorldCat member libraries worldwide

A non-interleaving semantics for CCS based on proved transitions = Une sémantique de parallélisme dans CCS basée sur les transitions prouvées by G Boudol( Book )

2 editions published in 1988 in English and held by 5 WorldCat member libraries worldwide

Distributed bisimulations by Ilaria Castellani( Book )

2 editions published in 1988 in Undetermined and English and held by 5 WorldCat member libraries worldwide

Abstract: "A new equivalence between concurrent processes is proposed. It generalises the well-known bisimulation equivalence to take into account the distributed nature of processes. The result is a non-interleaving semantic theory; concurrent processes are differentiated from processes which are non-deterministic but sequential. The new equivalence, together with its observational version, is investigated for a subset of CCS and various algebraic characterisations are obtained."
Concurrency and atomicity = Parallélisme et atomicité by Gérard Boudol( Book )

3 editions published in 1987 in English and held by 4 WorldCat member libraries worldwide

Self-adaptation and secure information flow in multiparty communications by Ilaria Castellani( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Flow models of distributed computations : three equivalent semantics for CCS = Trois sémantiques équivalentes pour CCS by Gérard Boudol( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

Abstract: "We introduce three notions of computation for processes described as CCS terms. The first one uses an adaptation of the equivalence by permutations of Berry and Lévy. In this setting, a computation is an equivalence class of sequences of transitions, up to the permutation of independent steps. The second notion of computation is given by means of an interpretation of CCS into a new class of event structures, the flow event structures. This can be seen as a reformulation of Winskel's semantics for CCS by means of stable event structures. Here a computation is a configuration of an event structure. Finally, our third notion of computation is determined by an interpretation of CCS terms as Petri nets, and more precisely as flow nets
On the semantics of concurrency by Gérard Boudol( Book )

2 editions published in 1986 in English and held by 2 WorldCat member libraries worldwide

On the semantics of concurrency : partial orders and transition systems by Gérard Boudol( Book )

2 editions published in 1986 in English and held by 2 WorldCat member libraries worldwide

Flow models of distributed computations : event structures and nets = Structures d'événements et réseaux à flux by Gérard Boudol( Book )

1 edition published in 1991 in English and held by 2 WorldCat member libraries worldwide

This generalizes the result of Nielson, Plotkin and Winskel relating prime event structures and occurrence nets. Moreover we show that safe flow nets correspond to the bundle event structures introduced recently by Langerak. This establishes a strict hierarchy upon the various kinds of event structures, prime, bundle, flow and stable ones."
Reversible sessions with flexible choices by Ilaria Castellani( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Virtual special issue: trends in concurrency theory (selected invited contributions from the workshops TRENDS 2014 and 2015) by IFIP WG 1.8 Workshop on Trends in Concurrency Theory( Book )

1 edition published in 2017 in English and held by 1 WorldCat member library worldwide

Event structures and net by Gérard Boudol( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Observing distribution in processes : static and dynamic localities by Ilaria Castellani( Book )

1 edition published in 1994 in English and held by 1 WorldCat member library worldwide

DAIMI PB. Parallel product of event structures( Book )

1 edition published in 1989 in Multiple languages and held by 1 WorldCat member library worldwide

Vers un langage synchrone sûr et securisé by Pejman Attar( )

1 edition published in 2013 in English and held by 1 WorldCat member library worldwide

This thesis proposes a new approach to parallelism and concurrency, laying the basis for the design of a programming language with a clear and simple formal semantics, enjoying both safety and security properties, while lending itself to an implementation on multicore architectures. We adopted the synchronous programming paradigm, in its reactive variant, which provides a simple alternative to standard concurrent programming by limiting the impact of time-dependent errors ("data-races"). As a first step (Part 1), we considered a reactive orchestration language, DSL, which abstracts away from the memory. To set the basis for a formal treatment of memory and security, we then focussed on a reactive kernel, CRL, equipped with a deterministic parallel operator (Part 2). We proved bounded reactivity of CRL programs. Next, we enriched CRL with mechanisms for information flow control (Part 3). To this end, we first extended CRL with security levels for data. We then defined a type system on the extended language, SSL, which ensures the absence of information leaks. Finally, we added memory to CRL, as well as the notions of agent and site, thus obtaining the model DSLM (Part 4). We structured the memory in such a way that data-races cannot occur, neither within nor among agents. We also investigated the implementation of DSLM on multicore architectures, using the possibility of agent migration between sites. The unification of SSL and DSLM is left for future work
Three equivalent semantics for CCS by Gérard Boudol( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

Flow models of distributed computations: three equivalent semantics for CCS by G Boudol( Book )

1 edition published in 1991 in English and held by 0 WorldCat member libraries worldwide

EXPRESS '98, Fifth International Workshop on Expressiveness in Concurrency, satellite workshop of CONCUR '98, Nice, France, 07 September 1998 by International Workshop on Expressiveness in Concurrency( )

1 edition published in 1998 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.84 (from 0.75 for Flow model ... to 1.00 for EXPRESS '9 ...)

Languages