Temporal Semantics of a Concurrency Monad With Choice and Services
by
Thomas Frauenstein
,
Wolfgang Grieskamp
,
Mario Südholt
BibTeX
@MISC{Frauenstein_temporalsemantics,
author = {Thomas Frauenstein and Wolfgang Grieskamp and Mario Südholt},
title = {Temporal Semantics of a Concurrency Monad With Choice and Services},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe the concurrency monad of the functional language Opal, which realizes a smooth integration of concurrent processes in a purely functional framework, providing a general choice and client-server based communication. We develop an axiomatic semantics for the concurrency monad using a variant of temporal interval logic as syntactic sugar on top of the logic of computable functions.
