3239 search results - page 212 / 648 » A Logical Process Calculus |
115
Voted
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
159
click to vote
I3E
2004
15 years 5 months ago
2004
: The notion of service is closely coupled with the notion of process in general and of workflow in particular. Processes capture the coordination logic for the various resources i...
144
Voted
MKWI
2008
15 years 5 months ago
2008
Abstract. While past research in service oriented computing has focused on the fairly static functional description and the operators of services the dynamic and flexible compositi...
109
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
109
Voted
FUIN
2007
15 years 3 months ago
2007
Abstract. Josephs and Udding’s DI-Algebra offers a convenient way of specifying and verifying designs that must rely upon delay-insensitive signalling between modules (asynchrono...