( en | de | ru )

 

Disambiguierung von "Fredlund, Lars-Åke"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formalising and Prototyping a Concurrent Object-Based Language.

, , und . LOMAPS, Volume 1192 von Lecture Notes in Computer Science, Seite 116-125. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Julian Åkerman

Johan Åkesson

°Ake Örström

°Ake Fant

°Ake Svahn

 

Weitere Publikationen von Autoren mit dem selben Namen

Formalising and Prototyping a Concurrent Object-Based Language., , und . LOMAPS, Volume 1192 von Lecture Notes in Computer Science, Seite 116-125. Springer, (1996)Functional Testing of Java Programs., und . TFP, Volume 9547 von Lecture Notes in Computer Science, Seite 40-59. Springer, (2015)Implementing a multiagent negotiation protocol in Erlang., , und . Erlang Workshop, Seite 69-74. ACM, (2010)Model Checking of Multi-Applet JavaCard Applications., , und . CARDIS, Seite 87-96. USENIX, (2002)Execution and Verification of UML State Machines with Erlang., , , und . SEFM, Volume 8702 von Lecture Notes in Computer Science, Seite 284-289. Springer, (2014)Automatic Grading of Programming Exercises using Property-Based Testing., , und . ITiCSE, Seite 47-52. ACM, (2016)Verifying fault-tolerant Erlang programs., , und . Erlang Workshop, Seite 26-34. ACM, (2005)Erlang as an implementation platform for BDI languages., , und . Erlang Workshop, Seite 1-10. ACM, (2012)Pitfalls of Jason Concurrency., , und . EMAS@AAMAS, Volume 11375 von Lecture Notes in Computer Science, Seite 19-33. Springer, (2018)Verification of Language Based Fault-Tolerance., und . EUROCAST, Volume 3643 von Lecture Notes in Computer Science, Seite 140-149. Springer, (2005)