1015 search results - page 92 / 203 » Syntactic Control of Concurrency |
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
ECBS
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we aim to ascribe a meaning to SysML activity diagrams. To this end, we propose a dedicated algebraic-like language, namely activity calculus, and an operational se...
ICRA
2000
IEEE
15 years 2 months ago
2000
IEEE
This paper describes a programming language extension of C++, called CES, specifically targeted towards mobile robot control. CES’s design is motivated by a recent series of su...
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
ICDCS
2009
IEEE
15 years 7 months ago
2009
IEEE
A Commutative Replicated Data Type (CRDT) is one where all concurrent operations commute. The replicas of a CRDT converge automatically, without complex concurrency control. This ...