( en | de | ru )

 

Disambiguierung von "Montanari, Ugo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Graphical Operational Semantics.

, , und . ICALP Satellite Workshops, Seite 411-418. Carleton Scientific, Waterloo, Ontario, Canada, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Federico Montanari

Ugo Marchand

Ugo Gentile

Ugo Merkli

Elke Montanari

 

Weitere Publikationen von Autoren mit dem selben Namen

Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements., und . ESOP, Volume 4421 von Lecture Notes in Computer Science, Seite 18-32. Springer, (2007)Connector Algebras, Petri Nets, and BIP., , und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2011)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , und . Fundam. Informaticae, 134 (3-4): 287-317 (2014)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)Behaviour, Interaction and Dynamics., , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 382-401. Springer, (2014)Causal Trees, Finally., , und . Programming Languages with Applications to Biology and Security, Volume 9465 von Lecture Notes in Computer Science, Seite 27-43. Springer, (2015)