1012 search results - page 4 / 203 » Process Algebra with Backtracking |
ENTCS
2008
13 years 7 months ago
2008
We examine ways to measure expressiveness of process algebras, and recapitulate and compare some related results from the literature.
FUIN
2002
13 years 7 months ago
2002
The possibility of two or more actions to be performed consecutively at the same point in time is not excluded in the process algebras from the framework of process algebras with t...
AAAI
1996
13 years 9 months ago
1996
Learning during backtrack search is a space-intensive process that records information (such as additional constraints) in order to avoid redundant work. In this paper, we analyze...
CALCO
2005
Springer
14 years 1 months ago
2005
Springer
We present ACPc , a process algebra with conditional expressions in which the conditions are taken from a Boolean algebra, and extensions of this process algebra with mechanisms fo...
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....