- 2
Rémi Douence
2
Documents
Affiliations actuelles
- 495900
- 489559
Domaines de recherche
Génie logiciel [cs.SE]
Compétences
Functional Languages
Semantics
Certified Programming
Haskell
Agda
Java
Object-Oriented Languages
Publications
- 1
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 2
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Communication dans un congrès
hal-00668975v1
|
The Synthesis Problem for Trusted Service-based CollaborationsActes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Communication dans un congrès
hal-00700750v1
|