5334 search results - page 469 / 1067 » Communicating quantum processes |
182
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Data Flow Analysis as expressed by Monotone Frameworks is often associated with classical imperative programming languages and has played a crucial role in the efficient implementa...
193
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
When different businesses want to integrate part of their processes and IT, they need to relate their enterprise architecture frameworks. An enterprise architecture framework (EAF)...
172
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
165
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
160
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we sketch out a proposed reference implementation for message passing in Java (MPJ), an MPI-like API from the Message-Passing Working Group of the Java Grande Forum ...