2 search results - page 1 / 1 » Formalising Business Process Execution with Bigraphs and Rea... |
COORDINATION
2006
Springer
13 years 8 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
COORDINATION
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...