278 search results - page 13 / 56 » Pure Pattern Calculus |
FLOPS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we in...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Cross-organizational business processes are gaining increased attention these days, especially with the service oriented architecture (SOA) as a realization for business process ma...
ACTA
2005
13 years 9 months ago
2005
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...
TABLEAUX
2009
Springer
14 years 4 months ago
2009
Springer
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
ESOP
2007
Springer
14 years 4 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...