7109 search results - page 389 / 1422 » Process Algebra with Combinators |
175
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
228
click to vote
BIRTHDAY
2004
Springer
16 years 5 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
174
click to vote
TACAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
154
click to vote
CHES
2001
Springer
15 years 11 months ago
2001
Springer
A variation of the Complex Multiplication (CM) method for generating elliptic curves of known order over finite fields is proposed. We give heuristics and timing statistics in th...
156
click to vote
CONCUR
2001
Springer
15 years 11 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...