( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bisimulation Equivalence is Decidable for Basic Parallel Processes.

, , и . CONCUR, том 715 из Lecture Notes in Computer Science, стр. 143-157. Springer, (1993)

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.

Renata Faron-Bartels

Renata Faron-Bartels

Renata Faron-Bartels

Renata Faron-Bartels

Michael Nimsch-Faron

 

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

The Edinburgh Concurrency Workbench User Manual, и . (1999)The Importance of the Left Merge Operator in Process Algebras.. ICALP, том 443 из Lecture Notes in Computer Science, стр. 752-764. Springer, (1990)Verification of Parallel Systems via Decomposition., и . CONCUR, том 630 из Lecture Notes in Computer Science, стр. 62-76. Springer, (1992)Weak Bisimulation Approximants., , и . CSL, том 4207 из Lecture Notes in Computer Science, стр. 365-379. Springer, (2006)Technocamps: Advancing Computer Science Education in Wales., и . WiPSCE, стр. 121-126. ACM, (2015)Incorporating Generative AI into Software Development Education., , , и . CEP, стр. 37-40. ACM, (2024)On the Computational Complexity of Bisimulation, Redux., и . PCK50, стр. 55-59. ACM, (2003)Teaching Them Early: Formal Methods in School., , , и . FMFun, том 1301 из Communications in Computer and Information Science, стр. 173-190. Springer, (2019)Simulation Problems for One-Counter Machines., , и . SOFSEM, том 1725 из Lecture Notes in Computer Science, стр. 404-413. Springer, (1999)Deciding Bisimilarity between BPA and BPP Processes., , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 157-171. Springer, (2003)