1532 search results - page 3 / 307 » An Algebraic Process Calculus |
111
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
104
Voted
BNCOD
1997
15 years 3 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
127
Voted
AMAST
1995
Springer
15 years 5 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
114
Voted
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
133
click to vote
CALCO
2005
Springer
15 years 7 months ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...