FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
FOSSACS
2005
Springer
14 years 2 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 2 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 2 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...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...