From post

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.

 

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

Dynamic Configuration in LOTOS., и . FORTE, том C-2 из IFIP Transactions, стр. 201-216. North-Holland, (1991)Normal Bisimulations in Calculi with Passivation., , и . FoSSaCS, том 5504 из Lecture Notes in Computer Science, стр. 257-271. Springer, (2009)The ReTINA DPE Kernel: A Flexible, Real-Time ORB Framework., , , и . IS&N, том 1430 из Lecture Notes in Computer Science, стр. 287-296. Springer, (1998)Elements of an object-based model for distributed and mobile computation., , и . FMOODS, том 177 из IFIP Conference Proceedings, стр. 23-43. Kluwer, (2000)Reversibility in Erlang: Imperative Constructs., , , , и . RC, том 13354 из Lecture Notes in Computer Science, стр. 187-203. Springer, (2022)Fault Ascription in Concurrent Systems., и . TGC, том 9533 из Lecture Notes in Computer Science, стр. 79-94. Springer, (2015)Components as Location Graphs.. FACS, том 8997 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2014)Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, , , и . (2007)Generation of a Reversible Semantics for Erlang in Maude., , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 106-122. Springer, (2022)Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat*., , , , , , и . CNSM, стр. 1-5. IEEE, (2019)