Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Pierre-Loïc Garoche
,
Marc Pantel
,
Xavier Thirioux
January 2006
PDF
Type
Report
Publication
CoRR
own
Related
Static Analysis of Actors: From Type Systems to Abstract Interpretation
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation
Adaptive Geographically Bound Mobile Agents
Accurate Centralization for Applying Model Checking on Networked Applications
Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case
Cite
×