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
AbstractA previously introduced combination of the bialgebraic approach to structural operational se...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
AbstractA general and abstract framework to defining congruence formats for various process equivale...
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...
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...
Concurrently interacting components of a modular software architecture are heterogeneously structure...
AbstractA previously introduced combination of the bialgebraic approach to structural operational se...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
AbstractA general and abstract framework to defining congruence formats for various process equivale...
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...
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...
Concurrently interacting components of a modular software architecture are heterogeneously structure...
AbstractA previously introduced combination of the bialgebraic approach to structural operational se...
AbstractThis paper proposes rule formats for Structural Operational Semantics guaranteeing that cert...
AbstractA general and abstract framework to defining congruence formats for various process equivale...
DOI
Add to ORKG