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."
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
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
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
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."
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
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
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
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
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
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."
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
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
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
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
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
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
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
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
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
1 edition published in 1998 in English and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
| 0 |
 |
1 | ||
| General | Special | |||
Related Identities
- Boudol, Gérard Author
- Zhang, Guo Qiang
- Institut national de recherche en informatique et en automatique (France)
- Hennessy, Matthew
- Dezani-Ciancaglini, Mariangiola Contributor
- SpringerLink (Online service) Other
- Giannini, Paola
- Pérez, Jorge A. Contributor
- IFIP WG 1.8 Workshop on Trends in Concurrency Theory 2015 Madrid
- École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) Other
Associated Subjects
Calculus Computer multitasking Computers Computer simulation Electronic data processing--Distributed processing Information theory Parallel processing (Electronic computers) Parallel programming (Computer science) Petri nets Programming languages (Electronic computers) Semantics Sequential processing (Computer science) Signal processing
Languages