|
|
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
|
|
|
Game Mechanics Supporting Pervasive Learning and Experience in Games, Serious Games, and Interactive & Social Media
J. Hauge
,
T. Lim
,
S. Louchart
,
I. A. Stanescu
,
M. Ma
,
et al.
Conference papers
hal-01758461v1
|
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
|
|
|
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
|
|
|
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
|