|
|
Dynamic Choreographies Safe Runtime Updates of Distributed Applications
Mila Dalla Preda
,
Maurizio Gabbrielli
,
Saverio Giallorenzo
,
Ivan Lanese
,
Jacopo Mauro
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.67-82, ⟨10.1007/978-3-319-19282-6_5⟩
Conference papers
hal-01227612v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Applicative Bisimulation and Quantum λ-Calculi
Ugo Dal Lago
,
Alessandro Rioli
Conference papers
hal-01231800v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
Painless Support for Static and Runtime Verification of Component-Based Applications
Nuno Gaspar
,
Ludovic Henrio
,
Eric Madelaine
Conference papers
hal-01168757v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
A Behavioural Theory for a π-calculus with Preorders
Daniel Hirschkoff
,
Jean-Marie Madiot
,
Xian Xu
Conference papers
hal-01246094v2
|
Share
Gmail
Facebook
X
LinkedIn
More
|
|
|
MRI Texture Analysis for Differentiation Between Healthy and Golden Retriever Muscular Dystrophy Dogs at Different Phases of Disease Evolution
Dorota Duda
,
Marek Kretowski
,
Noura Azzabou
,
Jacques De Certaines
Conference papers
hal-01444470v1
|
Share
Gmail
Facebook
X
LinkedIn
More
|