Sciweavers

1012 search results - page 1 / 203
» Process Algebra with Backtracking
Sort
View
REX
1993
13 years 10 months ago
Process Algebra with Backtracking
Jan A. Bergstra, Alban Ponse, Jos van Wamel
FUIN
2008
102views more  FUIN 2008»
13 years 5 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
14 years 11 days 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 9 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 7 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