2560 search results - page 124 / 512 » Types for Dynamic Reconfiguration |
PADS
2003
ACM
14 years 2 months ago
2003
ACM
We present a classification that groups lookback into four types: direct strong lookback, universal strong lookback, direct weak lookback, and universal weak lookback. They are d...
COORDINATION
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
LISP
2008
13 years 9 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
CPP
2011
12 years 8 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a first-order data processing language with refinement...
ICALP
2003
Springer
14 years 2 months ago
2003
Springer
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...