1532 search results - page 97 / 307 » An Algebraic Process Calculus |
134
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
131
Voted
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
160
Voted
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
128
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
146
click to vote
ENTCS
2007
15 years 4 months ago
2007
We construct a language extension for process calculi for modelling the exchange of cryptographically composed data. More specifically, we devise a succinct syntax for terms and ...