23 search results - page 1 / 5 » Equational Reasoning About Nondeterministic Processes |
PODC
1989
ACM
13 years 9 months ago
1989
ACM
A deterministic message-communicating process can be characterized by a “continuous” function f which describes the relationship between the inputs and the outputs of the proc...
AAAI
1996
13 years 7 months ago
1996
AAAI
1996
13 years 7 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...
WFLP
2000
Springer
13 years 9 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
ICFP
2009
ACM
14 years 6 months ago
2009
ACM
Functional logic programming and probabilistic programming have demonstrated the broad benefits of combining laziness (non-strict evaluation with sharing of the results) with non-...