Powered by OpenAIRE graph
Found an issue? Give us feedback
addClaim

This Research product is the result of merged Research products in OpenAIRE.

You have already added 0 works in your ORCID record related to the merged Research product.

The Microcosm Principle and Compositionality of GSOS-Based Component Calculi

Authors: Ichiro Hasuo;

The Microcosm Principle and Compositionality of GSOS-Based Component Calculi

Abstract

In the previous work by Jacobs, Sokolova and the author, synchronous parallel composition of coalgebras--yielding a coalgebra--and parallel composition of behaviors--yielding a behavior, where behaviors are identified with states of the final coalgebra--were observed to form an instance of the microcosm principle. The microcosm principle, a term by Baez and Dolan, refers to the general phenomenon of nested algebraic structures such as a monoid in a monoidal category. Suitable organization of these two levels of parallel composition led to a general compositionality theorem: the behavior of the composed system relies only on the behaviors of its constituent parts. In the current paper this framework is extended so that it accommodates any process operator--not restricted to parallel composition--whose meaning is specified by means of GSOS rules. This generalizes Turi and Plotkin's bialgebraic modeling of GSOS, by allowing a process operator to act as a connector between components as coalgebras.

Related Organizations
  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    2
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
2
Average
Average
Average
Upload OA version
Are you the author of this publication? Upload your Open Access version to Zenodo!
It’s fast and easy, just two clicks!