Sciweavers

1012 search results - page 1 / 203
» Process Algebra with Backtracking
Sort
View
REX
1993
13 years 9 months ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel
FUIN
2008
102views more  FUIN 2008»
13 years 4 months ago
Some Aspects of Parsing Expression Grammar
Parsing Expression Grammar (PEG) is a new way to specify syntax, by means of a top-down process with limited backtracking. It can be directly transcribed into a recursive-descent ...
Roman R. Redziejowski
CAI
2009
Springer
13 years 11 months ago
Process Algebra: An Algebraic Theory of Concurrency
This tutorial provides an overview of the process algebra ACP.
Wan Fokkink
CP
2004
Springer
13 years 8 months ago
Concurrent Dynamic Backtracking for Distributed CSPs
A distributed concurrent search algorithm for distributed constraint satisfaction problems (DisCSPs) is presented. Concurrent search algorithms are composed of multiple search proc...
Roie Zivan, Amnon Meisels
FLAIRS
2004
13 years 6 months ago
Concurrent Backtrack Search on DisCSPs
A distributed search algorithm for solving distributed constraint satisfaction problems (DisCSPs) is presented. The proposed algorithm is composed of multiple search processes (SP...
Roie Zivan, Amnon Meisels