148 search results - page 2 / 30 » Programming with angelic nondeterminism |
76
Voted
FUIN
2010
14 years 7 months ago
2010
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different ...
FOSSACS
2004
Springer
15 years 3 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
JPDC
2007
14 years 9 months ago
2007
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
ICLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...