Search Sciweavers | Sciweavers

14

ENTCS
2007

116views more ENTCS 2007»

Co-Algebraic Models for Quantitative Spatial Logics

13 years 7 months ago

We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...

Vincenzo Ciancia, Gian Luigi Ferrari

claim paper

Read More »

29

click to vote

CORR
2011
Springer

222views Education» more CORR 2011»

Generic Trace Logics

13 years 2 months ago

Download www.christiankissig.de

Finite trace semantics is known and well understood for classical automata and non-deterministic labelled transition systems. Jacobs et al introduced a more general deﬁnition fo...

Christian Kissig, Alexander Kurz

claim paper

Read More »

21

click to vote

JLP
2006

138views more JLP 2006»

Algebraic-coalgebraic specification in CoCasl

13 years 7 months ago

Download www.informatik.uni-bremen.de

We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...

Till Mossakowski, Lutz Schröder, Markus Rogge...

claim paper

Read More »

22

click to vote

CONCUR
2004
Springer

139views Distributed And Parallel Com...» more CONCUR 2004»

Modular Construction of Modal Logics

14 years 26 days ago

Download www.doc.ic.ac.uk

We present a modular approach to deﬁning logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...

Corina Cîrstea, Dirk Pattinson

claim paper

Read More »

13

click to vote

BCS
2008

114views Computer Science» more BCS 2008»

Modal Logics are Coalgebraic

13 years 9 months ago

Download eprints.ecs.soton.ac.uk

Corina Cîrstea, Alexander Kurz, Dirk Pattins...

claim paper