557 search results - page 47 / 112 » Calculi for Service-Oriented Computing |
ESOP
2012
Springer
12 years 4 months ago
2012
Springer
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
COORDINATION
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Modern distributed computing demands unprecedented levels of dynamicity and reconfiguration. Mobile computing, peer-to-peer networks, computational grids, multiagent sys...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with
SCCC
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper present a set metrics for evaluating the operative aspects of the E-Government SOA systems, based on technical and economical criteria as they are intended to improve ma...
LICS
2006
IEEE
14 years 3 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...