Author of the publication

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell.

, , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 21-37. Springer, (2016)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On Futures for Streaming Data in ABS - (Short Paper)., , and . FORTE, volume 10321 of Lecture Notes in Computer Science, page 67-73. Springer, (2017)HLogo: A Haskell STM-Based Parallel Variant of NetLogo., , and . SIMULTECH (Selected Papers), volume 676 of Advances in Intelligent Systems and Computing, page 97-119. Springer, (2016)A Formal, Resource Consumption-Preserving Translation of Actors to Haskell., , , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 21-37. Springer, (2016)A formal actor-based model for streaming the future., , , and . Sci. Comput. Program., (2020)Human-in-the-Loop Simulation of Cloud Services., , and . ESOCC, volume 10465 of Lecture Notes in Computer Science, page 143-158. Springer, (2017)A high-level and scalable approach for generating scale-free graphs using active objects., , , and . SAC, page 1244-1250. ACM, (2016)HLogo: A Parallel Haskell Variant of NetLogo., , and . SIMULTECH, page 119-128. SciTePress, (2016)Distributed Network Generation Based on Preferential Attachment in ABS., , and . SOFSEM, volume 10139 of Lecture Notes in Computer Science, page 103-115. Springer, (2017)ABS: A High-Level Modeling Language for Cloud-Aware Programming., and . SOFSEM, volume 9587 of Lecture Notes in Computer Science, page 433-444. Springer, (2016)A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell., , , and . Fundam. Informaticae, 177 (3-4): 203-234 (2020)