( en | de | ru )

 

Disambiguation of "Montanari, Ugo"

Author of the publication

copydeleteadd this publication to your clipboard
Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types.

, , and . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)

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.

Federico Montanari

Ugo Marchand

Ugo Gentile

Ugo Merkli

Elke Montanari

 

Other publications of authors with the same name

Reconfigurable and Software-Defined Networks of Connectors and Components., , and . The ASCENS Approach, volume 8998 of Lecture Notes in Computer Science, Springer, (2015)Soft concurrent constraint programming., , and . ACM Trans. Comput. Log., 7 (3): 563-589 (2006)Combining CCS and Petri Nets Via Structural Axioms., and . Fundam. Informaticae, 20 (1/2/3): 193-229 (1994)Parameterized Structured Operational Semantics., and . Fundam. Informaticae, 34 (1-2): 1-31 (1998)QoS negotiation in service composition., and . J. Log. Algebraic Methods Program., 80 (1): 13-24 (2011)Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations., , and . Math. Struct. Comput. Sci., 7 (3): 241-282 (1997)On the Semantics of Place/Transition Petri Nets., , and . Math. Struct. Comput. Sci., 7 (4): 359-397 (1997)Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic., , and . Math. Struct. Comput. Sci., 12 (1): 53-90 (2002)Contextual Nets., and . Acta Informatica, 32 (6): 545-596 (1995)Revisiting causality, coalgebraically., , and . Acta Inf., 52 (1): 5-33 (2015)