1532 search results - page 119 / 307 » An Algebraic Process Calculus |
122
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
130
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
121
click to vote
LICS
2000
IEEE
15 years 8 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
109
click to vote
ENTCS
2006
15 years 4 months ago
2006
Capability passing processes model global applications in a way that decouples the global agreement aspects of protocols from the details of how the communications are actually ma...
172
click to vote
ENTCS
2002
15 years 4 months ago
2002
d Abstract) Naoshi Tabuchi Eijiro Sumii Akinori Yonezawa 1 Department of Computer Science, Graduate School of Information Science and Technology, University of Tokyo We present re...