Papers

Last Update: 2005-05-10


NETWORK AWARE PROGRAMMING ::: COORDINATION MODELS ::: PROCESS CALCULI::: SECURITY::: PROPERTY VERIFICATION ::: OBJECT-ORIENTED PROGRAMMING ::: THESIS


NETWORK AWARE PROGRAMMING 

COORDINATION MODELS  

PROCESS CALCULI 

SECURITY

PROPERTY VERIFICATION 

OBJECT-ORIENTED PROGRAMMING

PHD THESIS

MASTER THESIS