913 search results - page 7 / 183 » Full Abstraction for Linda |
SIAMADS
2010
13 years 2 months ago
2010
Abstract. This paper investigates travelling wave solutions of the FitzHugh
ENTCS
2006
13 years 7 months ago
2006
Families of Categorial Languages Makoto Kanazawa 1 National Institute of Informatics Tokyo, Japan We show that the class of string languages generated by abstract categorial gramm...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
Linda is a high level communication model which allows agents to communicate via a shared tuple spaces without knowing each other’s identities and without having to arrange for ...
LFCS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We address the problem of quantitative comparison of classical and intuitionistic logics within the language of the full propositional system. We apply two different app...
MOC
2000
13 years 7 months ago
2000
Abstract. The main problem when solving a Thue equation is the computation of the unit group of a certain number field. In this paper we show that the knowledge of a subgroup of fi...