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

Coalgebraic Bisimulation-Up-To

Rot, J.
Bonsangue, M.
Rutten, J.

Publication date

January 2013

DOI

10.1007/978-3-642-35843-2_32

Publisher

Springer Science and Business Media LLC

ISSN

0302-9743

Citation count (estimate)

27

Abstract

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

Extracted data

Related items

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

Brouwer, J.W.L.
Heiden, P.B. van der

January 2004

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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

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

Comprehension for Coalgebras

Jacobs, B.

January 2002

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

Context-free coalgebras

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

January 2015

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

Context-Free Languages, Coalgebraically

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

January 2011

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

Nominal Kleene Coalgebra

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

January 2015

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

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.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

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

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

Heunen, C.
Landsman, N.P.
Spitters, B.A.W.

January 2011

Contains fulltext : 91605.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

Glas, L.R.
Terlouw, A.B.
Dubelaar, M.J.
Voert, M.J. ter

January 2021

Contains fulltext : 236644.pdf (Publisher’s version ) (Closed access

A Coalgebraic Decision Procedure for NetKAT

Foster, N.
Kozen, D.
Milano, M.
Silva, A.
Thompson, L.

January 2015

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

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

Brouwer, J.W.L.
Heiden, P.B. van der

January 2004

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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

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

Comprehension for Coalgebras

Jacobs, B.

January 2002

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

Context-free coalgebras

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

January 2015

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

Context-Free Languages, Coalgebraically

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

January 2011

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

Nominal Kleene Coalgebra

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

January 2015

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

From coalgebraic to monoidal traces

Jacobs, B.

January 2010

Contains fulltext : 83462.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

Traces for coalgebraic components

Hasuo, I.
Jacobs, B.

January 2011

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

Heunen, C.
Landsman, N.P.
Spitters, B.A.W.

January 2011

Contains fulltext : 91605.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

Glas, L.R.
Terlouw, A.B.
Dubelaar, M.J.
Voert, M.J. ter

January 2021

Contains fulltext : 236644.pdf (Publisher’s version ) (Closed access

A Coalgebraic Decision Procedure for NetKAT

Foster, N.
Kozen, D.
Milano, M.
Silva, A.
Thompson, L.

January 2015

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

From algebras and coalgebras to dialgebras

Poll, Erik
Zwanenburg, Jan

January 2001

Contains fulltext : 19049.pdf ( ) (Open Access)Technical Report CSI-R010121 p

Brouwer, J.W.L.
Heiden, P.B. van der

January 2004

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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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