[Back]

P. Fenkam, H. Gall, M. Jazayeri:
"Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach.";
in: " In Proceedings of the 12th International FME Symposium (FME 2003)", Springer, 2003, ISBN: 3-540-40828-2, 636 - 657.

We have proposed a formal semantics for a programming
language that supports the announcement of events. Based on this
semantics, it is clear that event-based systems share some substantial
properties with parallel systems. In particular, announcing an event
results in the parallel execution of subscribers to this event with
the remainder of the announcing program. In this
paper, we show how usual concurrency concepts such as synchronization
and
mutual exclusion can be supported in the stepwise development of
event-based applications. The approach in this paper is based on
Jones's rely/guarantee method for the development of interfering
programs. We also show how deadlock free event-based applications can
be developed. Finally, the paper extends St{\o}len's technique of
handling auxiliary variables to support the development of more
complex event-based applications.

v

http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04404432

http://www.springerlink.com/media/5n5d6ywuvh6k61nvtw3p/contributions/c/n/p/6/CNP6TX394Q666GKQ_html/fulltext.html