( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Minimisation of Spatial Models Using Branching Bisimilarity.

, , , , и . FM, том 14000 из Lecture Notes in Computer Science, стр. 263-281. Springer, (2023)

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.

Jan-Friso Evers-Senne

Jan-Friso Evers-Senne

Jean-Cédric Frison

Harald Groote

Everhard Groote

 

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

Verification of Parallel Systems via Decomposition., и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 62-76. Springer, (1992)Experience report on developing the Front-end client unit under the control of formal methods., , и . SAC, стр. 1183-1190. ACM, (2012)Pitfalls in Applying Model Learning to Industrial Legacy Software., , , и . ISoLA (4), том 11247 из Lecture Notes in Computer Science, стр. 121-138. Springer, (2018)An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence., и . ICALP, том 443 из Lecture Notes in Computer Science, стр. 626-638. Springer, (1990)An Overview of the mCRL2 Toolset and Its Recent Advances., , , , , , и . TACAS, том 7795 из Lecture Notes in Computer Science, стр. 199-213. Springer, (2013)Parameterised Boolean Equation Systems (Extended Abstract)., и . CONCUR, том 3170 из Lecture Notes in Computer Science, стр. 308-324. Springer, (2004)Process Algebra with Guards - Combining Hoare Logic with Process Algebra (Extended Abstract)., и . CONCUR, том 527 из Lecture Notes in Computer Science, стр. 235-249. Springer, (1991)Proof Theory for µCRL: A Language for Processes with Data., и . Semantics of Specification Languages, стр. 232-251. Springer, (1993)Wait-free concurrent memory management by Create and Read until Deletion (CaRuD)., и . Distributed Comput., 14 (1): 31-39 (2001)Lock-free dynamic hash tables with open addressing., , и . Distributed Comput., 18 (1): 21-42 (2005)