15885 search results - page 2940 / 3177 » The Modest Software Engineer |
110
click to vote
FOSSACS
2005
Springer
15 years 8 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...
122
click to vote
FOSSACS
2005
Springer
15 years 8 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...
117
click to vote
FOSSACS
2005
Springer
15 years 8 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...
130
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Message sequence charts (MSCs) are commonly used to specify interactions between agents in communicating systems. Their visual nature makes them attractive for describing...
115
click to vote
FSTTCS
2005
Springer
15 years 8 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...