( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formalising and Prototyping a Concurrent Object-Based Language.

, , и . LOMAPS, том 1192 из Lecture Notes in Computer Science, стр. 116-125. Springer, (1996)

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.

Julian Åkerman

Johan Åkesson

°Ake Örström

°Ake Fant

°Ake Svahn

 

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

Functional Testing of Java Programs., и . TFP, том 9547 из Lecture Notes in Computer Science, стр. 40-59. Springer, (2015)Implementing a multiagent negotiation protocol in Erlang., , и . Erlang Workshop, стр. 69-74. ACM, (2010)Model Checking of Multi-Applet JavaCard Applications., , и . CARDIS, стр. 87-96. USENIX, (2002)Formalising and Prototyping a Concurrent Object-Based Language., , и . LOMAPS, том 1192 из Lecture Notes in Computer Science, стр. 116-125. Springer, (1996)Execution and Verification of UML State Machines with Erlang., , , и . SEFM, том 8702 из Lecture Notes in Computer Science, стр. 284-289. Springer, (2014)Executable contracts for Elixir., , , , и . J. Log. Algebraic Methods Program., (2025)Pitfalls of Jason Concurrency., , и . EMAS@AAMAS, том 11375 из Lecture Notes in Computer Science, стр. 19-33. Springer, (2018)Verifying fault-tolerant Erlang programs., , и . Erlang Workshop, стр. 26-34. ACM, (2005)Erlang as an implementation platform for BDI languages., , и . Erlang Workshop, стр. 1-10. ACM, (2012)Verification of Language Based Fault-Tolerance., и . EUROCAST, том 3643 из Lecture Notes in Computer Science, стр. 140-149. Springer, (2005)