35 search results - page 4 / 7 » Non-deterministic Computations in ELAN |
CLUSTER
2004
IEEE
13 years 10 months ago
2004
IEEE
ASIAN
1998
Springer
13 years 11 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
ICCS
2003
Springer
14 years 4 days ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...
FOCS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we use random-selection protocols in the full-information model to solve classical problems in distributed computing. Our main results are the following: • An O(l...
RTA
1995
Springer
13 years 10 months ago
1995
Springer
We use computational systems to express a completion with constraints procedure that gives priority to simplifications. Computational systems are rewrite theories enriched by stra...