VIAF

Virtual International Authority File

Search

Castellani, Ilaria Sudoc [ABES], France

VIAF ID: 306481413 (Personal)

Permalink: http://viaf.org/viaf/306481413

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close SectionWorks

Title Sources
Distributed bisimulations Sudoc [ABES], France
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 Sudoc [ABES], France
Parallel product of event structures Sudoc [ABES], France
Permutation of transitions : an event structure semantics for CCS = Permutations de transitions: une sémantique par structures d'evénements pour CCS Sudoc [ABES], France
Towards a safe and secure synchronous language. Sudoc [ABES], France
Vers un langage synchrone sûr et sécurisé Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (2)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (2)

Open Section Close Section About

Open Section Close Section History of VIAF ID:306481413 (1)