Fritz Henglein, Ken Friis Larsen, Jakob Grue Simonsen, Christian Stefansen. POETS: Process-Oriented Event-driven Transaction System. Journal of Logic and Algebraic Programming (JLAP), Invited submission to special Issue on Contract-Oriented Software, 78(5):381-401, 2009.
Download paper:
Doi page
Download paper:
Adobe portable document (pdf) 
Copyright notice:This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Fritz Henglein
Ken Larsen
Jakob Grue Simonsen
Christian Stefansen
@article{hlss2009,
Author = {Henglein, Fritz and Larsen, Ken Friis and Simonsen, Jakob Grue and Stefansen, Christian},
Title = {{POETS}: Process-Oriented Event-driven Transaction System},
Journal = {Journal of Logic and Algebraic Programming (JLAP)},
Volume = {78},
Number = {5},
Pages = {381--401},
Month = {},
Year = {2009}
}
Get EndNote Reference (.ref)