72 search results - page 5 / 15 » Orderly communication in the Ambient Calculus |
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
BIRTHDAY
2005
Springer
13 years 9 months ago
2005
Springer
Abstract. The vision of Ambient Intelligence is based on the ubiquity of information technology, the presence of computation, communication, and sensorial capabilities in an unlimi...
FOSSACS
2003
Springer
14 years 21 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
AIMS
2010
Springer
13 years 7 months ago
2010
Springer
Underwater wireless networks consist of mobile and static nodes, which usually communicate using the acoustic channel since radio transmissions attenuate rapidly and optical commun...
IEAAIE
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. New learning methods are emerging in order to improve and facilitate the use of communication and informatics technologies both by students and professors. This paper des...