( en | de | ru )

 

Disambiguation of "Amadio, Roberto M."

Author of the publication

copydeleteadd this publication to your clipboard
Modelling IP Mobility.

, and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 301-316. Springer, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Roberto M Fröhlich

Alberto Carlos Amadio

Roberto Cruccolini

Roberto Sala

Roberto Fornari

 

Other publications of authors with the same name

The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations, , and . LICS, page 122-130. IEEE Computer Society, (1986)Max-Plus Quasi-interpretations.. TLCA, volume 2701 of Lecture Notes in Computer Science, page 31-45. Springer, (2003)A Functional Scenario for Bytecode Verification of Resource Bounds., , , and . CSL, volume 3210 of Lecture Notes in Computer Science, page 265-279. Springer, (2004)Toward a Modal Theory of Types for the pi-Calculus., and . FTRTFT, volume 1135 of Lecture Notes in Computer Science, page 347-365. Springer, (1996)Domains in a Realizability Framework.. TAPSOFT, Vol.1, volume 493 of Lecture Notes in Computer Science, page 241-263. Springer, (1991)Typed Equivalence, Type Assignment, and Type Containment.. CTRS, volume 516 of Lecture Notes in Computer Science, page 372-382. Springer, (1990)On convergence-sensitive bisimulation and the embedding of CCS in timed CCS. CoRR, (2008)Reactive Concurrent Programming Revisited., , , and . APC 25, volume 162 of Electronic Notes in Theoretical Computer Science, page 49-60. Elsevier, (2005)On Stratified Regions.. APLAS, volume 5904 of Lecture Notes in Computer Science, page 210-225. Springer, (2009)The Receptive Distributed pi-Calculus (Extended Abstract)., , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 304-315. Springer, (1999)