( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Automated Based Verification Environment for Mobile Processes.

, , , , , и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 275-289. Springer, (1997)

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.

Federico Montanari

Ugo Marchand

Ugo Gentile

Ugo Merkli

Elke Montanari

 

Другие публикации лиц с тем же именем

Liveness Properties as Convergence in Metric Spaces, и . STOC, стр. 31-38. ACM, (1984)D-Fusion: A Distinctive Fusion Calculus., , и . APLAS, том 3302 из Lecture Notes in Computer Science, стр. 296-310. Springer, (2004)Labeled Event Structures: A Model for Observable Concurrency., , и . Formal Description of Programming Concepts, стр. 383-400. North-Holland, (1982)Soft constraints for KnowLang., и . C3S2E, стр. 99-103. ACM, (2012)Graph rewriting with unification and composition., , и . Graph-Grammars and Their Application to Computer Science, том 291 из Lecture Notes in Computer Science, стр. 496-514. Springer, (1986)On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs., , , и . Fundam. Informaticae, 134 (3-4): 287-317 (2014)Combining CCS and Petri Nets Via Structural Axioms., и . Fundam. Informaticae, 20 (1/2/3): 193-229 (1994)Parameterized Structured Operational Semantics., и . Fundam. Informaticae, 34 (1-2): 1-31 (1998)Executing Transactions in Zero-Safe Nets., и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2000)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)