2272 search results - page 334 / 455 » A Calculus for |
84
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
106
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
85
Voted
FQAS
2000
Springer
15 years 4 months ago
2000
Springer
Knowledge scouts are software agents that autonomously synthesize knowledge of interest to a given user (target knowledge) by applying inductive database operators to a local or di...
IFM
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...