( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Labeled Event Structures: A Model for Observable Concurrency.

, , и . Formal Description of Programming Concepts, стр. 383-400. North-Holland, (1982)

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

 

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

Final semantics for the pi-calculus., , , и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 225-243. Chapman & Hall, (1998)Liveness Properties as Convergence in Metric Spaces, и . STOC, стр. 31-38. ACM, (1984)Soft constraints for KnowLang., и . C3S2E, стр. 99-103. ACM, (2012)Labeled Event Structures: A Model for Observable Concurrency., , и . Formal Description of Programming Concepts, стр. 383-400. North-Holland, (1982)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , и . Sci. Comput. Program., 30 (1-2): 51-82 (1998)Graph rewriting with unification and composition, , и . Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2–6, 1986, том 291 из Lecture Notes in Computer Science, стр. 496-514. Springer, (1987)The tile model., и . Proof, Language, and Interaction, стр. 133-166. The MIT Press, (2000)Executing Transactions in Zero-Safe Nets., и . ICATPN, том 1825 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2000)Optimal Smoothing in Picture Processing: An Application to Fingerprints., и . IFIP Congress (1), стр. 173-178. North-Holland, (1971)