136
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
A smooth orchestrator is a process with several alternative branches, every one defining synchronizations among co-located channels. Smooth orchestrators constitute a basic mechani...
168
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
In recent years, a tight connection has emerged between modal logic on the one hand and coalgebras, understood as generic transition systems, on the other hand. Here, we prove tha...
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
110
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
In this paper, we study eight asynchronous communication primitives, arising from the combination of three features: arity (monadic vs polyadic data), communication medium (messag...
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
We take the point of view that, if transition systems are coalgebras for a functor T, then an adequate logic for these transition systems should arise from the `Stone dual' L ...