2909 search results - page 3 / 582 » Consistency of the theory of contexts |
POPL
2007
ACM
14 years 6 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
CHI
2007
ACM
14 years 6 months ago
2007
ACM
How can we keep technology-focused computing and software engineering students interested and engaged in a soft subject like HCI? How can we avoid leaving the less gifted and less...
EUSAI
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
IANDC
2008
13 years 5 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
CONCUR
2005
Springer
13 years 11 months ago
2005
Springer
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 ...