Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Structural congruence for bialgebraic semantics

Rot, J.C.
Bosangue, M.

Publication date

January 2016

DOI

10.1016/j.jlamp.2016.08.001

Publisher

Elsevier BV

ISSN

2352-2208

Citation count (estimate)

1

Abstract

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

Extracted data

Related items

Bialgebraic methods and modal logic in structural operational semantics

Klin, Bartek

February 2009

AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...

Symmetries in Exact Bohrification

Landsman, K.
Lindenhovius, B.

January 2018

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

Coinductive predicates and final sequences in a fibration

Hasuo, Ichiro
Kataoka, T.
Cho, K.

January 2018

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

Formalizing Bialgebraic Semantics in PVS 6.0

Smetsers, S.
Madlener, K.
Eekelen, M.C.J.D. van

January 2015

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

Structural congruence for bialgebraic semantics

Rot, Jurriaan
Bonsangue, Marcello

October 2016

textabstractIt was observed by Turi and Plotkin that structural operational semantics can be studied...

Invariants, bisimulations and the correctness of coalgebraic refinements

Jacobs, B.P.F.

January 1997

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

Bialgebraic methods in structural operational semantics

Invited Talk
Bartek Klin

January 2007

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning...

Bialgebraic Methods in Structural Operational Semantics Invited Talk

Klin, Bartek

May 2007

AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

Complete Congruences on Topologies and Down-set Lattices

Gehrke, M.
Erné, M.
Pultr, A.

January 2007

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

Congruence for structural congruences

Mousavi, M.R.
Reniers, M.A.

January 2005

Structural congruences have been used to define the semantics and to capture inherent properties of ...

Bialgebras for structural operational semantics: An introduction

Klin, Bartek

September 2011

AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...

Formations of monoids, congruences, and formal languages

Ballester-Bolinches, A.
Cosme-Llopez, E.
Esteban-Romero, R.
Rutten, J.

January 2015

Contains fulltext : 147272.pdf (preprint version ) (Open Access)19 p

A CATEGORICAL SEMANTICS FOR CAUSAL STRUCTURE

Kissinger, Aleks
Uijlen, S.

January 2019

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

From Bialgebraic Semantics to Congruence Formats

Klin, Bartek

May 2005

AbstractA general and abstract framework to defining congruence formats for various process equivale...

Bialgebraic methods and modal logic in structural operational semantics

Klin, Bartek

February 2009

AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...

Symmetries in Exact Bohrification

Landsman, K.
Lindenhovius, B.

January 2018

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

Coinductive predicates and final sequences in a fibration

Hasuo, Ichiro
Kataoka, T.
Cho, K.

January 2018

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

Formalizing Bialgebraic Semantics in PVS 6.0

Smetsers, S.
Madlener, K.
Eekelen, M.C.J.D. van

January 2015

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

Structural congruence for bialgebraic semantics

Rot, Jurriaan
Bonsangue, Marcello

October 2016

textabstractIt was observed by Turi and Plotkin that structural operational semantics can be studied...

Invariants, bisimulations and the correctness of coalgebraic refinements

Jacobs, B.P.F.

January 1997

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

Bialgebraic methods in structural operational semantics

Invited Talk
Bartek Klin

January 2007

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning...

Bialgebraic Methods in Structural Operational Semantics Invited Talk

Klin, Bartek

May 2007

AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...

Coalgebras and monads in the semantics of Java

Jacobs, B.
Poll, E.

January 2003

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

Complete Congruences on Topologies and Down-set Lattices

Gehrke, M.
Erné, M.
Pultr, A.

January 2007

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

Congruence for structural congruences

Mousavi, M.R.
Reniers, M.A.

January 2005

Structural congruences have been used to define the semantics and to capture inherent properties of ...

Bialgebras for structural operational semantics: An introduction

Klin, Bartek

September 2011

AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...

Formations of monoids, congruences, and formal languages

Ballester-Bolinches, A.
Cosme-Llopez, E.
Esteban-Romero, R.
Rutten, J.

January 2015

Contains fulltext : 147272.pdf (preprint version ) (Open Access)19 p

A CATEGORICAL SEMANTICS FOR CAUSAL STRUCTURE

Kissinger, Aleks
Uijlen, S.

January 2019

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

From Bialgebraic Semantics to Congruence Formats

Klin, Bartek

May 2005

AbstractA general and abstract framework to defining congruence formats for various process equivale...

Bialgebraic methods and modal logic in structural operational semantics

Klin, Bartek

February 2009

AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...

Symmetries in Exact Bohrification

Landsman, K.
Lindenhovius, B.

January 2018

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

Coinductive predicates and final sequences in a fibration

Hasuo, Ichiro
Kataoka, T.
Cho, K.

January 2018

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