Sciweavers

11168 search results - page 49 / 2234
» Abstract State Processes
Sort
View
109
Voted
FCT
1995
Springer
15 years 7 months ago
Discrete Time Process Algebra with Abstraction
Jos C. M. Baeten, Jan A. Bergstra
71
Voted
MKWI
2008
127views Business» more  MKWI 2008»
15 years 5 months ago
An Algorithm for the Validation of Executable Completions of an Abstract BPEL Process
Ralph Mietzner, Zhilei Ma, Frank Leymann