Sciweavers

5 search results - page 1 / 1
» Sussex University: description of the Sussex system used for...
Sort
View
MUC
1993
14 years 3 months ago
Sussex University: description of the Sussex system used for MUC-5
Robert J. Gaizauskas, Lynne J. Cahill, Roger Evans
ESOP
2005
Springer
14 years 4 months ago
Java Jr: Fully Abstract Trace Semantics for a Core Java Language
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...
Alan Jeffrey, Julian Rathke
CONCUR
2005
Springer
14 years 4 months ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy