AbstractBialgebras and distributive laws are an abstract, categorical framework to study various flavors of structural operational semantics. This paper aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming lan...
Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards de...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
A format for well-behaved translations between structural operational specifications is derived from...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
textabstractIt was observed by Turi and Plotkin that structural operational semantics can be studied...
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning...
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational seman...
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming lan...
Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards de...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
AbstractBialgebras and distributive laws are an abstract, categorical framework to study various fla...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
It was observed by Turi and Plotkin that structural operational semantics can be studied at the leve...
A format for well-behaved translations between structural operational specifications is derived from...
AbstractWe examine two versions of maps between distributive laws as candidates for well-behaved tra...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing...
We present a categorical theory of `well-behaved' operational semantics which aims at complemen...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
textabstractIt was observed by Turi and Plotkin that structural operational semantics can be studied...
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning...
Turi and Plotkin's bialgebraic semantics is an abstract approach to specifying the operational seman...
Structural Operational Semantics (SOS) is one of the most natural ways for providing programming lan...
Defining a formal (i.e., mathematical) semantics for computer languages is the first step towards de...
AbstractBialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal r...
DOI
Add to ORKG