3239 search results - page 102 / 648 » A Logical Process Calculus |
123
click to vote
APLAS
2009
ACM
15 years 9 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...
135
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
138
click to vote
APLAS
2007
ACM
15 years 7 months ago
2007
ACM
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
130
click to vote
ENTCS
2008
15 years 3 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
119
click to vote
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...