A Coalgebraic Decision Procedure for NetKAT

A Topological Approach to Recognition

Gehrke, M.
Grigorieff, S.
Pin, J.-E.

January 2010

Contains fulltext : 84395.pdf (preprint 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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

A Coalgebraic Decision Procedure for NetKAT

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

January 2014

Contains fulltext : 129979.pdf (publisher's version ) (Open Access)12 p

A Coalgebraic Decision Procedure for NetKAT

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

January 2015

Contains fulltext : 139702.pdf (publisher's version ) (Closed access)POPL 2015: 42...

Comprehension for Coalgebras

Jacobs, B.

January 2002

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

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

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

Probabilistic NetKAT

Foster, N.
Kozen, D.
Mamouras, K.
Reitblatt, M.
Silva, A.

January 2015

Contains fulltext : 143761.pdf (publisher's version ) (Open Access)19 p

Coalgebraic Bisimulation-Up-To

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

January 2013

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

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

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

Context-Free Languages, Coalgebraically

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

January 2011

Contains fulltext : 91662.pdf (publisher's 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

A short introduction to the coalgebraic method

Silva, A.

January 2015

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

Brzozowski’s Algorithm (Co)Algebraically

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

January 2012

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

A Topological Approach to Recognition

Gehrke, M.
Grigorieff, S.
Pin, J.-E.

January 2010

Contains fulltext : 84395.pdf (preprint 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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

A Coalgebraic Decision Procedure for NetKAT

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

January 2014

Contains fulltext : 129979.pdf (publisher's version ) (Open Access)12 p

A Coalgebraic Decision Procedure for NetKAT

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

January 2015

Contains fulltext : 139702.pdf (publisher's version ) (Closed access)POPL 2015: 42...

Comprehension for Coalgebras

Jacobs, B.

January 2002

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

Exercises in Coalgebraic Specification

Jacobs, B.

January 2002

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

Probabilistic NetKAT

Foster, N.
Kozen, D.
Mamouras, K.
Reitblatt, M.
Silva, A.

January 2015

Contains fulltext : 143761.pdf (publisher's version ) (Open Access)19 p

Coalgebraic Bisimulation-Up-To

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

January 2013

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

Coalgebras and approximation

Jacobs, B.P.F.

January 1994

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

Context-Free Languages, Coalgebraically

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

January 2011

Contains fulltext : 91662.pdf (publisher's 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

A short introduction to the coalgebraic method

Silva, A.

January 2015

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

Brzozowski’s Algorithm (Co)Algebraically

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

January 2012

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

A Topological Approach to Recognition

Gehrke, M.
Grigorieff, S.
Pin, J.-E.

January 2010

Contains fulltext : 84395.pdf (preprint 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

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

A Coalgebraic Decision Procedure for NetKAT

Abstract

Extracted data

A Coalgebraic Decision Procedure for NetKAT

Abstract

Extracted data

Related items

Related items