Amadio, Roberto M.
Amadio, Roberto, 19..-....
Amadio, Roberto
VIAF ID: 5880430 ( Personal )
Permalink: http://viaf.org/viaf/5880430
Preferred Forms
- 200 _ | ‡a Amadio ‡b Roberto M.
-
-
-
- 100 1 0 ‡a Amadio, Roberto M.
- 100 1 _ ‡a Amadio, Roberto M.
- 100 1 _ ‡a Amadio, Roberto M.
-
-
-
- 100 1 _ ‡a Amadio, Roberto ‡d 19..-...
- 100 1 _ ‡a Amadio, Roberto, ‡d 19..-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
CONCUR 2003 - concurrency theory : 14th international conference, Marseille, France, September 3-5, 2003 : proceedings | |
Déterminisme et confluence dans des systèmes concurrents et synchrones | |
Domains and lambda-calculi, 1998: | |
ETAPS 2008 | |
FOSSACS 2008 | |
Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings | |
Implicit complexity in concurrent Lambda-calculi. | |
Proof of Programs with Effect Handlers | |
Reactive synchronous programming : language and resource control. | |
Réceptivité, mobilité et π-Calcul | |
Towards a safe and secure synchronous language. | |
Trust : un système de vérification automatique de protocoles cryptographiques | |
Vers un langage synchrone sûr et securisé | |
The π-calculus theory in the HOL system. |