2 search results - page 1 / 1 » A Fixpoint Semantics of Event Systems With and Without Fairn... |
82
Voted
IFM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
100
click to vote
ICFP
2008
ACM
15 years 10 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...