Accéder directement au contenu
PG

Pierre-Loïc Garoche

3
Documents
Affiliations actuelles
  • 380071
Identifiants chercheurs
Contact

Présentation

Homepage: [www.garoche.net](https://www.garoche.net)

Publications

"marc-pantel"
Image document

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Pierre-Loïc Garoche , Marc Pantel , Xavier Thirioux
IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩
Communication dans un congrès hal-00116251v1