108
click to vote
CONCUR
15 years 21 days ago
2006 Springer 
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
CONCUR
15 years 21 days ago
2006 Springer 
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...
103
click to vote
CONCUR
14 years 11 months ago
2006 Springer
Propositional temporal logic is not suitable for expressing properties on the evolution of dynamically allocated entities over time. In particular, it is not possible to trace such...
CONCUR
15 years 21 days ago
2006 Springer
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
CONCUR
15 years 21 days ago
2006 Springer 
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...
|
Distributed And Parallel Computing