Sciweavers

Share
11 search results - page 1 / 3
» Final coalgebras and the Hennessy-Milner property
Sort
View
APAL
2006
118views more  APAL 2006»
9 years 11 months ago
Final coalgebras and the Hennessy-Milner property
The existence of a final coalgebra is equivalent to the existence of a formal logic with a set (small class) of formulas that has the Hennessy-Milner property of distinguishing co...
Robert Goldblatt
FOSSACS
2006
Springer
10 years 3 months ago
A Finite Model Construction for Coalgebraic Modal Logic
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...
Lutz Schröder
CONCUR
1990
Springer
10 years 3 months ago
A Temporal Calculus of Communicating Systems
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...
Faron Moller, Chris M. N. Tofts
ENTCS
2006
138views more  ENTCS 2006»
9 years 11 months ago
Some Properties and Some Problems on Set Functors
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
Daniela Cancila, Furio Honsell, Marina Lenisa
ENTCS
2002
77views more  ENTCS 2002»
9 years 11 months ago
Towards Coalgebraic Behaviourism
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
Dragan Masulovic
books