( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reactive systems, (semi-)saturated semantics and coalgebras on presheaves.

, и . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)

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

 

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

Modelling Concurrent Accesses to Shared Data via Petri Nets., , и . PROCOMET, том A-56 из IFIP Transactions, стр. 403-422. North-Holland, (1994)A model for distributed systems based on graph rewriting., и . J. ACM, 34 (2): 411-449 (1987)On Limit Properties in Digitization Schemes.. J. ACM, 17 (2): 348-360 (1970)Observational equivalences for concurrency models., , и . Formal Description of Programming Concepts, стр. 105-134. North-Holland, (1987)Toward a Game-Theoretic Model of Grid Systems., , и . TGC, том 6084 из Lecture Notes in Computer Science, стр. 57-72. Springer, (2010)Axioms for Contextual Net Processes., и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 296-308. Springer, (1998)Back and Forth Bisimulations., , и . CONCUR, том 458 из Lecture Notes in Computer Science, стр. 152-165. Springer, (1990)On the Optimal Approximation of Discrete Functions with Low-dimensional Tables.. IFIP Congress (2), стр. 1363-1368. North-Holland, (1971)Semiring-Based Constraint Satisfaction and Optimization, , и . Journal of the ACM, 44 (2): 201-236 (1997)A Distributed Operational Semantics for CCS Based on Condition/Event Systems., , и . Acta Inf., 26 (1/2): 59-91 (1988)