PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Montanari, Ugo"

Author of the publication

copydeleteadd this publication to your clipboard
A Pi-Calculus with Explicit Substitutions: the Late Semantics.

, , and . MFCS, volume 841 of Lecture Notes in Computer Science, page 342-351. Springer, (1994)

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.

No persons found for author name Montanari, Ugo
add a person with the name Montanari, Ugo
 

Other publications of authors with the same name

The tile model., and . Proof, Language, and Interaction, page 133-166. The MIT Press, (2000)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , and . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)A basic algebra of stateless connectors., , and . Theor. Comput. Sci., 366 (1-2): 98-120 (2006)On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies., and . Theor. Comput. Sci., 141 (1&2): 195-252 (1995)Constraint-Based Policy Negotiation and Enforcement for Telco Services., , , and . TASE, page 463-472. IEEE Computer Society, (2007)History Preserving Bisimulation for Contextual Nets., , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 291-310. Springer, (1999)Hierarchical Models for Service-Oriented Systems., , , , and . Results of the SENSORIA Project, volume 6582 of Lecture Notes in Computer Science, Springer, (2011)Tools for Ensemble Design and Runtime., , , , , , , , , and 5 other author(s). The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Reconfigurable and Software-Defined Networks of Connectors and Components., , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Dynamic Programming on Nominal Graphs., , and . GaM, volume 181 of EPTCS, page 80-96. (2015)