913 search results - page 37 / 183 » Full Abstraction for Linda |
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
FSE
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Sober-t32 is a candidate stream cipher in the NESSIE competition. Some new attacks are presented in this paper. A Guess and Determine attack is mounted against Sober-t32 ...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a graphical user interface (GUI) for easy, intuitive control of a group of mobile robots moving in formation, and we give a short description of the general, local, dis...
CIE
2010
Springer
14 years 1 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
REFLECTION
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a general technique to support reflection in C++, exploiting template metaprogramming techniques. The technique is used for building an object interface to rel...