663 search results - page 56 / 133 » Process Algebra with Local Communication |
ISCAPDCS
2008
13 years 11 months ago
2008
This article presents the results of a research in applying modern Graphics Processing Units in the field of telecommunications. The most recent Wireless Local Area Network protoc...
JITECH
2008
13 years 10 months ago
2008
In this paper I review the Information Systems (IS) research on how developing countries have attempted to benefit from information and communication technologies (ICTs). First I ...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
POPL
1999
ACM
14 years 2 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
TACS
1994
Springer
14 years 2 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...