( en | de | ru )

 

Disambiguierung von "Montanari, Ugo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantitative mu-calculus and CTL defined over constraint semirings.

, und . Theor. Comput. Sci., 346 (1): 135-160 (2005)

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

Simone Montanari

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Programming on Nominal Graphs., , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)Contextual Nets., und . Acta Informatica, 32 (6): 545-596 (1995)A basic algebra of stateless connectors., , und . Theor. Comput. Sci., 366 (1-2): 98-120 (2006)Coalgebraic minimization of HD-automata for the Pi-calculus using polymorphic types., , und . Theor. Comput. Sci., 331 (2-3): 325-365 (2005)On the Implementation of Concurrent Calculi in Net Calculi: Two Case Studies., und . Theor. Comput. Sci., 141 (1&2): 195-252 (1995)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Graph rewriting with unification and composition., , und . Graph-Grammars and Their Application to Computer Science, Volume 291 von Lecture Notes in Computer Science, Seite 496-514. Springer, (1986)