( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Symbolic bisimulation for open and parameterized systems.

, и . PEPM@POPL, стр. 14-26. ACM, (2020)

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.

Madelaine Hildebrand

Madelaine Miethke

Madelaine Böhme

Madelaine Matjak

Madelaine Taoubi

 

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

Compositional equivalences based on Open pNets., , и . CoRR, (2020)Verification of Concurrent Design Patterns with Data., , и . COORDINATION, том 11533 из Lecture Notes in Computer Science, стр. 161-181. Springer, (2019)A Denotational Semantics for Parameterised Networks of Synchronised Automata., и . UTP, том 10134 из Lecture Notes in Computer Science, стр. 93-113. Springer, (2016)Specification, Model Generation, and Verification of Distributed Applications.. (2011)Selected and extended papers from FACS 2016., и . Sci. Comput. Program., (2019)Finiteness Conditions and Structural Construction of Automata for All Process Algebras., и . CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 275-292. DIMACS/AMS, (1990)Symbolic bisimulation for open and parameterized systems., и . PEPM@POPL, стр. 14-26. ACM, (2020)Compositional equivalences based on open pNets., , и . J. Log. Algebraic Methods Program., (февраля 2023)Refinements for Open Automata., , , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 11-29. Springer, (2023)Verification of Distributed Hierarchical Components., , и . FACS, том 160 из Electronic Notes in Theoretical Computer Science, стр. 41-55. Elsevier, (2005)