4353 search results - page 140 / 871 » Expressiveness of Process Algebras |
129
click to vote
BPM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
134
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
131
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
126
click to vote
CSCWD
2008
Springer
15 years 6 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
127
click to vote
ENTCS
2007
15 years 4 months ago
2007
We develop a general testing scenario for probabilistic processes, giving rise to two theories: probabilistic may testing and probabilistic must testing. These are applied to a si...