FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
FOSSACS
2005
Springer
14 years 6 months ago
2005
Springer
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...