Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Quantitative Kleene coalgebras

Silva, A.
Bonchi, F.
Bonsangue, M.
Rutten, J.

Publication date

January 2011

DOI

10.1016/j.ic.2010.09.007

Publisher

Elsevier BV

Abstract

Contains fulltext : 92243.pdf (publisher's version ) (Closed access

Extracted data

Related items

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Nominal Kleene Coalgebra

Kozen, D.
Mamouras, K.
Petrisan, D.L.
Silva, A.

January 2015

Contains fulltext : 143757.pdf (publisher's version ) (Closed access

Nominal Kleene coalgebra

Kozen, D.C.
Mamouras, K.
Petrisan, D.L.
Martins Da Silva, A.

January 2015

Contains fulltext : 141320.pdf (preprint version ) (Open Access)1 p

Non-Deterministic Kleene Coalgebras

Silva, A.
Bonsangue, M.
Rutten, J.

January 2010

Contains fulltext : 84288.pdf (publisher's version ) (Open Access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Nominal Kleene Coalgebra

Dexter Kozen
Konstantinos Mamouras
Daniela Petrisan Alex
Ra Silva

January 2015

The following full text is a preprint version which may differ from the publisher's version

Quantitative Analysis in Case Studies

Korzilius, H.P.L.M.

January 2010

Contains fulltext : 87059.pdf (publisher's version ) (Closed access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Quantization (systematic)

Landsman, N.P.

January 2009

Contains fulltext : 75968.pdf (publisher's version ) (Closed access

Quantative Methods

Rietveld, T.
Hout, R.W.N.M. van

January 2005

Contains fulltext : 247726.pdf (publisher's version ) (Closed access

Well-founded coalgebras, revisited

Jeannin, J.-B.
Kozen, D.
Silva, A.

January 2017

Contains fulltext : 179032.pdf (publisher's version ) (Closed access

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access

Nominal Kleene Coalgebra

Kozen, D.
Mamouras, K.
Petrisan, D.L.
Silva, A.

January 2015

Contains fulltext : 143757.pdf (publisher's version ) (Closed access

Nominal Kleene coalgebra

Kozen, D.C.
Mamouras, K.
Petrisan, D.L.
Martins Da Silva, A.

January 2015

Contains fulltext : 141320.pdf (preprint version ) (Open Access)1 p

Non-Deterministic Kleene Coalgebras

Silva, A.
Bonsangue, M.
Rutten, J.

January 2010

Contains fulltext : 84288.pdf (publisher's version ) (Open Access

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

Contains fulltext : 175391.pdf (publisher's version ) (Closed access

Nominal Kleene Coalgebra

Dexter Kozen
Konstantinos Mamouras
Daniela Petrisan Alex
Ra Silva

January 2015

The following full text is a preprint version which may differ from the publisher's version

Quantitative Analysis in Case Studies

Korzilius, H.P.L.M.

January 2010

Contains fulltext : 87059.pdf (publisher's version ) (Closed access

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

Contains fulltext : 92508.pdf (author's version ) (Open Access) ...

Context-free coalgebras

Winter, J.
Bonsangue, M.M.
Rutten, J.J.M.M.

January 2015

Contains fulltext : 141357.pdf (preprint version ) (Open Access

Comprehension for Coalgebras

Jacobs, B.

January 2002

Contains fulltext : 130354.pdf (preprint version ) (Closed access

Quantization (systematic)

Landsman, N.P.

January 2009

Contains fulltext : 75968.pdf (publisher's version ) (Closed access

Quantative Methods

Rietveld, T.
Hout, R.W.N.M. van

January 2005

Contains fulltext : 247726.pdf (publisher's version ) (Closed access

Well-founded coalgebras, revisited

Jeannin, J.-B.
Kozen, D.
Silva, A.

January 2017

Contains fulltext : 179032.pdf (publisher's version ) (Closed access

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.pdf (publisher's version ) (Closed access

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

Contains fulltext : 130355.pdf (preprint version ) (Closed access

A short introduction to the coalgebraic method

Silva, A.

January 2015

Contains fulltext : 147292.pdf (publisher's version ) (Open Access