Skip to contents Amadio, Roberto M.; Dabrowski, Frédéric Feasible Reactivity for Synchronous Cooperative Threads Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Electronic Notes in Theoretical Computer Science Amadio, Roberto M.; Charatonik, Witold CONCUR 2002 — Concurrency Theory: On Name Generation and Set-Based Analysis in the Dolev-Yao Model Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2002 Published in: CONCUR 2002 — Concurrency Theory Amadio, Roberto M.; Meyssonnier, Charles On the decidability of fragments of the asynchronous π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Electronic Notes in Theoretical Computer Science Amadio, Roberto M.; Lugiez, Denis CONCUR 2000 — Concurrency Theory: On the Reachability Problem in Cryptographic Protocols Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: CONCUR 2000 — Concurrency Theory Amadio, Roberto M.; Prasad, Sanjiva Advances in Computing Science — ASIAN’99: The Game of the Name in Cryptographic Tables Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Advances in Computing Science — ASIAN’99 Amadio, Roberto M.; Prasad, Sanjiva CONCUR'98 Concurrency Theory: Modelling IP mobility Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: CONCUR'98 Concurrency Theory Amadio, Roberto M.; Dam, Mads Lecture Notes in Computer Science: Toward a modal theory of types for the π-calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: Lecture Notes in Computer Science Amadio, Roberto M.; Dam, Mads TAPSOFT '95: Theory and Practice of Software Development: Reasoning about higher-order processes Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1995 Published in: TAPSOFT '95: Theory and Practice of Software Development Amadio, Roberto M.; Prasad, Sanjiva Lecture Notes in Computer Science: Localities and failures (extended summary) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1994 Published in: Lecture Notes in Computer Science Amadio, Roberto M.; Cardelli, Luca Subtyping recursive types Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1993 Published in: ACM Transactions on Programming Languages and Systems Amadio, Roberto M.; Régis-Gianas, Yann Foundational and Practical Aspects of Resource Analysis: Certifying and Reasoning on Cost Annotations of Functional Programs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Foundational and Practical Aspects of Resource Analysis Amadio, Roberto M.; Castagna, Giuseppe; Asperti, Andrea Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Information and Computation Amadio, Roberto M.; Dal Zilio, Silvano Resource control for synchronous cooperative threads Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science Amadio, Roberto M.; Dal Zilio, Silvano CONCUR 2004 - Concurrency Theory: Resource Control for Synchronous Cooperative Threads Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2004 Published in: CONCUR 2004 - Concurrency Theory Amadio, Roberto M.; Lugiez, Denis; Vanackère, Vincent On the symbolic reduction of processes with cryptographic functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Theoretical Computer Science Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric The receptive distributed π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: ACM Transactions on Programming Languages and Systems Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric Lecture Notes in Computer Science: The Receptive Distributed π-Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Lecture Notes in Computer Science Amadio, Roberto M.; Coupet-Grimal, Solange Lecture Notes in Computer Science: Analysis of a guard condition in type theory Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Lecture Notes in Computer Science Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide On bisimulations for the asynchronous π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1998 Published in: Theoretical Computer Science Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide CONCUR '96: Concurrency Theory: On bisimulations for the asynchronous π-calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: CONCUR '96: Concurrency Theory
Amadio, Roberto M.; Dabrowski, Frédéric Feasible Reactivity for Synchronous Cooperative Threads Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Electronic Notes in Theoretical Computer Science
Amadio, Roberto M.; Charatonik, Witold CONCUR 2002 — Concurrency Theory: On Name Generation and Set-Based Analysis in the Dolev-Yao Model Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2002 Published in: CONCUR 2002 — Concurrency Theory
Amadio, Roberto M.; Meyssonnier, Charles On the decidability of fragments of the asynchronous π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2002 Published in: Electronic Notes in Theoretical Computer Science
Amadio, Roberto M.; Lugiez, Denis CONCUR 2000 — Concurrency Theory: On the Reachability Problem in Cryptographic Protocols Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2000 Published in: CONCUR 2000 — Concurrency Theory
Amadio, Roberto M.; Prasad, Sanjiva Advances in Computing Science — ASIAN’99: The Game of the Name in Cryptographic Tables Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Advances in Computing Science — ASIAN’99
Amadio, Roberto M.; Prasad, Sanjiva CONCUR'98 Concurrency Theory: Modelling IP mobility Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: CONCUR'98 Concurrency Theory
Amadio, Roberto M.; Dam, Mads Lecture Notes in Computer Science: Toward a modal theory of types for the π-calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: Lecture Notes in Computer Science
Amadio, Roberto M.; Dam, Mads TAPSOFT '95: Theory and Practice of Software Development: Reasoning about higher-order processes Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1995 Published in: TAPSOFT '95: Theory and Practice of Software Development
Amadio, Roberto M.; Prasad, Sanjiva Lecture Notes in Computer Science: Localities and failures (extended summary) Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1994 Published in: Lecture Notes in Computer Science
Amadio, Roberto M.; Cardelli, Luca Subtyping recursive types Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 1993 Published in: ACM Transactions on Programming Languages and Systems
Amadio, Roberto M.; Régis-Gianas, Yann Foundational and Practical Aspects of Resource Analysis: Certifying and Reasoning on Cost Annotations of Functional Programs Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2012 Published in: Foundational and Practical Aspects of Resource Analysis
Amadio, Roberto M.; Castagna, Giuseppe; Asperti, Andrea Preface Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2009 Published in: Information and Computation
Amadio, Roberto M.; Dal Zilio, Silvano Resource control for synchronous cooperative threads Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2006 Published in: Theoretical Computer Science
Amadio, Roberto M.; Dal Zilio, Silvano CONCUR 2004 - Concurrency Theory: Resource Control for Synchronous Cooperative Threads Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2004 Published in: CONCUR 2004 - Concurrency Theory
Amadio, Roberto M.; Lugiez, Denis; Vanackère, Vincent On the symbolic reduction of processes with cryptographic functions Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2003 Published in: Theoretical Computer Science
Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric The receptive distributed π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2003 Published in: ACM Transactions on Programming Languages and Systems
Amadio, Roberto M.; Boudol, Gérard; Lhoussaine, Cédric Lecture Notes in Computer Science: The Receptive Distributed π-Calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1999 Published in: Lecture Notes in Computer Science
Amadio, Roberto M.; Coupet-Grimal, Solange Lecture Notes in Computer Science: Analysis of a guard condition in type theory Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1998 Published in: Lecture Notes in Computer Science
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide On bisimulations for the asynchronous π-calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1998 Published in: Theoretical Computer Science
Amadio, Roberto M.; Castellani, Ilaria; Sangiorgi, Davide CONCUR '96: Concurrency Theory: On bisimulations for the asynchronous π-calculus Articles View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1996 Published in: CONCUR '96: Concurrency Theory
> Media type Skip to next facet Articles (51) Wert ausschließen Books (4) Wert ausschließen Sound Recordings (1) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (3) Wert ausschließen Central Library (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (20) Wert ausschließen Without Specification (32) Wert ausschließen Show more show less
> Language Skip to next facet English (29) Wert ausschließen Not determined (26) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (16) Wert ausschließen Mathmatics (7) Wert ausschließen Medicine (3) Wert ausschließen Biology (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Amadio, Roberto M. (44) Wert ausschließen Andreoni, Massimo (3) Wert ausschließen Boudol, Gérard (3) Wert ausschließen Calzetti, Carlo (3) Wert ausschließen Castellani, Ilaria (3) Wert ausschließen Dal Zilio, Silvano (3) Wert ausschließen Francisci, Daniela (3) Wert ausschließen Malena, Marina (3) Wert ausschließen Mondino, Vincenzo (3) Wert ausschließen Mussini, Cristina (3) Wert ausschließen Palumbo, Michele (3) Wert ausschließen Parruti, Giustino (3) Wert ausschließen Prasad, Sanjiva (3) Wert ausschließen Régis-Gianas, Yann (3) Wert ausschließen Tacconi, Danilo (3) Wert ausschließen Tosti, Andrea (3) Wert ausschließen Trezzi, Michele (3) Wert ausschließen Abrate, Paolo (2) Wert ausschließen Accordino, Silvia (2) Wert ausschließen Ageno, Walter (2) Wert ausschließen Agnoletti, Vanni (2) Wert ausschließen Agosti, Michele (2) Wert ausschließen Agostini, Carlo (2) Wert ausschließen Agostini, Moreno (2) Wert ausschließen Agostinone, Adriana (2) Wert ausschließen Agrati, Antonio Maria (2) Wert ausschließen Aguilar-Salinas, Carlos A (2) Wert ausschließen Aiello, Giuseppe (2) Wert ausschließen Aiuti, Massimo (2) Wert ausschließen Albano, Giovanni (2) Wert ausschließen Alberico, Marielisa (2) Wert ausschließen Alborghetti, Armando (2) Wert ausschließen Alborghetti, Leonardo (2) Wert ausschließen Aldegheri, Giorgio (2) Wert ausschließen Allevi, Elisabetta (2) Wert ausschließen Alvarez-Váz, Ramón (2) Wert ausschließen Amadasi, Silvia (2) Wert ausschließen Amadio, Marselle B (2) Wert ausschließen Amaglio, Angelo (2) Wert ausschließen Amitrano, Maria (2) Wert ausschließen Amoroso, Filippo (2) Wert ausschließen Andreassi, Silvia (2) Wert ausschließen Angarano, Gioacchino (2) Wert ausschließen Angeletti, Chiara (2) Wert ausschließen Angelici, Stefano (2) Wert ausschließen Angheben, Andrea (2) Wert ausschließen Angileri, Manuela (2) Wert ausschließen Angrisani, Claudio (2) Wert ausschließen Annnunziata, Maria Laura (2) Wert ausschließen Annunziata, Anna (2) Wert ausschließen Anselmo (2) Wert ausschließen Ansuini, Andrea (2) Wert ausschließen Antivalle, Marco (2) Wert ausschließen Antonioli, Chiara Maria (2) Wert ausschließen Aondio, Gianmarco (2) Wert ausschließen Appiani, Camilla (2) Wert ausschließen Aquilini, Donatella (2) Wert ausschließen Arcidiacono, Antonio (2) Wert ausschließen Arcoleo, Giuseppe (2) Wert ausschließen Arenare, Laura (2) Wert ausschließen Argilloni, Elena (2) Wert ausschließen Ariani, Alarico (2) Wert ausschließen Arlotti, Massimo (2) Wert ausschließen Artiol, Stefania (2) Wert ausschließen Artoni, Paola Daniela (2) Wert ausschließen Ascierto, Paolo Antonio (2) Wert ausschließen Ashofarir, Najat (2) Wert ausschließen Atripaldi, Luigi (2) Wert ausschließen Atteno, Mariangela (2) Wert ausschließen Ayache, Nicolas (2) Wert ausschließen Babudieri, Sergio (2) Wert ausschließen Baccari, Laura (2) Wert ausschließen Baccino, Cecilia (2) Wert ausschließen Baciu, Izabela (2) Wert ausschließen Badagliacca, Rita (2) Wert ausschließen Bakhtadze, Nikoloz (2) Wert ausschließen Baldessari, Chiara (2) Wert ausschließen Ballarin, Andrea (2) Wert ausschließen Ballotta, Andrea (2) Wert ausschließen Bambs, Claudia (2) Wert ausschließen Bandiera, Francesco (2) Wert ausschließen Banfi, Elisa (2) Wert ausschließen Baratta, Alberto (2) Wert ausschließen Barattini, Massimo (2) Wert ausschließen Baratto, Fabio (2) Wert ausschließen Barbato, Valentina (2) Wert ausschließen Barone, Antonietta (2) Wert ausschließen Baroni, Irene (2) Wert ausschließen Baronio, Barabara (2) Wert ausschließen Barreca, Filippo (2) Wert ausschließen Bartolaminelli, Clara (2) Wert ausschließen Barzan, Daniela (2) Wert ausschließen Baré, Cristina (2) Wert ausschließen Basile, Adriano (2) Wert ausschließen Bassetti, Matteo (2) Wert ausschließen Bassi, Flavio (2) Wert ausschließen Bastos, João Luiz (2) Wert ausschließen Battistini, Nicholas (2) Wert ausschließen Bausi, Simona (2) Wert ausschließen Beckles, Gloria (2) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (24) Wert ausschließen Elsevier BV (CrossRef) (14) Wert ausschließen Verbunddaten SWB (5) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (2) Wert ausschließen Oxford University Press (OUP) (CrossRef) (2) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen Faculdade de Desporto (CrossRef) (1) Wert ausschließen Informa UK Limited (CrossRef) (1) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (1) Wert ausschließen Springer International Publishing (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen Show more show less