.:. Consultation > Liste par auteurs > Amadio .:.

20 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

The SL synchronous language, revisited Amadio R. M. Journal of Logic and Algebraic Programming 70 (2007) 121-150 [hal-00014540 - version 1]

Reactive concurrent programming revisited Amadio R. M., Boudol G., Castellani I., Boussinot F. Dans Workshop on Process Algebra - Express, France (2006) [hal-00015838 - version 1]

Resource Control for Synchronous Cooperative Threads Amadio R. M., Dal Zilio S. Journal of Theoretical Computer Science (TCS) 358 (2006) 229-254 [hal-00015836 - version 1]

Feasible Reactivity for Synchronous Cooperative Threads. Amadio R. M., Dabrowski F. In Expressiveness in Concurrency - Process Algebra, France (2006) [hal-00147244 - version 1]

Modelling and Verification of Cryptographic Protocols Amadio R. M. (2005) 165 [hal-00168132 - version 1]