( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Modeling of Reactive Systems Using Open Nets.

, , , и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 502-518. Springer, (2001)

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.

Giancarlo Baldan

Giordano Paolo

Paolo Bavaj

Paolo Fornara

Paolo Molteni

 

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

Comparing Metabolic Pathways through Reactions and Potential Fluxes., , , и . Trans. Petri Nets Other Model. Concurr., (2013)Multilevel Transitive and Intransitive Non-interference, Causally., и . COORDINATION, том 9686 из Lecture Notes in Computer Science, стр. 1-17. Springer, (2016)A Lattice-Theoretical View of Strategy Iteration., , , и . CoRR, (2022)MuTACLP: A Language for Temporal Reasoning with Multiple Theories., , , и . Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 1-40. Springer, (2002)Encoding Synchronous Interactions Using Labelled Petri Nets., , , и . COORDINATION, том 8459 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2014)Hereditary History-Preserving Bisimilarity: Logics and Automata., и . APLAS, том 8858 из Lecture Notes in Computer Science, стр. 469-488. Springer, (2014)Automata for True Concurrency Properties., и . FoSSaCS, том 10803 из Lecture Notes in Computer Science, стр. 165-182. Springer, (2018)Unfolding Graph Transformation Systems: Theory and Applications to Verification, , и . (2008)McMillan's Complete Prefix for Contextual Nets., , , и . Trans. Petri Nets Other Model. Concurr., (2008)Fixpoint games on continuous lattices., , , и . Proc. ACM Program. Lang., 3 (POPL): 26:1-26:29 (2019)