FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100996925> ?p ?o ?g. }

• W2100996925 endingPage "257" @default.
• W2100996925 startingPage "237" @default.
• W2100996925 abstract "Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational semantics (SOS). An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this paper, bialgebraic semantics is combined with a coalgebraic approach to modal logic in a novel, general approach to proving the compositionality of process equivalences for languages defined by structural operational semantics. To prove compositionality, one provides a notion of behaviour for logical formulas, and defines an SOS-like specification of modal operators which reflects the original SOS specification of the language. This approach can be used to define SOS congruence formats as well as to prove compositionality for specific languages and equivalences." @default.
• W2100996925 created "2016-06-24" @default.
• W2100996925 creator A5025346659 @default.
• W2100996925 date "2009-02-01" @default.
• W2100996925 modified "2023-09-29" @default.
• W2100996925 title "Bialgebraic methods and modal logic in structural operational semantics" @default.
• W2100996925 cites W1508631686 @default.
• W2100996925 cites W1510082095 @default.
• W2100996925 cites W1541645275 @default.
• W2100996925 cites W1568599313 @default.
• W2100996925 cites W1966112122 @default.
• W2100996925 cites W1967405807 @default.
• W2100996925 cites W1968839148 @default.
• W2100996925 cites W1975082667 @default.
• W2100996925 cites W1978469611 @default.
• W2100996925 cites W1981175075 @default.
• W2100996925 cites W2026552167 @default.
• W2100996925 cites W2070157304 @default.
• W2100996925 cites W2076632469 @default.
• W2100996925 cites W2079822631 @default.
• W2100996925 cites W2088189323 @default.
• W2100996925 cites W2094700434 @default.
• W2100996925 cites W2117627793 @default.
• W2100996925 cites W2120529054 @default.
• W2100996925 cites W2135333778 @default.
• W2100996925 cites W2154695063 @default.
• W2100996925 cites W2167981859 @default.
• W2100996925 cites W4213277014 @default.
• W2100996925 doi "https://doi.org/10.1016/j.ic.2007.10.006" @default.
• W2100996925 hasPublicationYear "2009" @default.
• W2100996925 type Work @default.
• W2100996925 sameAs 2100996925 @default.
• W2100996925 citedByCount "23" @default.
• W2100996925 countsByYear W21009969252012 @default.
• W2100996925 countsByYear W21009969252013 @default.
• W2100996925 countsByYear W21009969252014 @default.
• W2100996925 countsByYear W21009969252015 @default.
• W2100996925 countsByYear W21009969252016 @default.
• W2100996925 countsByYear W21009969252017 @default.
• W2100996925 countsByYear W21009969252018 @default.
• W2100996925 crossrefType "journal-article" @default.
• W2100996925 hasAuthorship W2100996925A5025346659 @default.
• W2100996925 hasBestOaLocation W21009969252 @default.
• W2100996925 hasConcept C114408938 @default.
• W2100996925 hasConcept C121375916 @default.
• W2100996925 hasConcept C146499914 @default.
• W2100996925 hasConcept C154564781 @default.
• W2100996925 hasConcept C154690210 @default.
• W2100996925 hasConcept C154945302 @default.
• W2100996925 hasConcept C156325763 @default.
• W2100996925 hasConcept C184337299 @default.
• W2100996925 hasConcept C185592680 @default.
• W2100996925 hasConcept C186644900 @default.
• W2100996925 hasConcept C188027245 @default.
• W2100996925 hasConcept C199360897 @default.
• W2100996925 hasConcept C27508121 @default.
• W2100996925 hasConcept C41008148 @default.
• W2100996925 hasConcept C58646249 @default.
• W2100996925 hasConcept C60048249 @default.
• W2100996925 hasConcept C71139939 @default.
• W2100996925 hasConcept C80444323 @default.
• W2100996925 hasConceptScore W2100996925C114408938 @default.
• W2100996925 hasConceptScore W2100996925C121375916 @default.
• W2100996925 hasConceptScore W2100996925C146499914 @default.
• W2100996925 hasConceptScore W2100996925C154564781 @default.
• W2100996925 hasConceptScore W2100996925C154690210 @default.
• W2100996925 hasConceptScore W2100996925C154945302 @default.
• W2100996925 hasConceptScore W2100996925C156325763 @default.
• W2100996925 hasConceptScore W2100996925C184337299 @default.
• W2100996925 hasConceptScore W2100996925C185592680 @default.
• W2100996925 hasConceptScore W2100996925C186644900 @default.
• W2100996925 hasConceptScore W2100996925C188027245 @default.
• W2100996925 hasConceptScore W2100996925C199360897 @default.
• W2100996925 hasConceptScore W2100996925C27508121 @default.
• W2100996925 hasConceptScore W2100996925C41008148 @default.
• W2100996925 hasConceptScore W2100996925C58646249 @default.
• W2100996925 hasConceptScore W2100996925C60048249 @default.
• W2100996925 hasConceptScore W2100996925C71139939 @default.
• W2100996925 hasConceptScore W2100996925C80444323 @default.
• W2100996925 hasIssue "2" @default.
• W2100996925 hasLocation W21009969251 @default.
• W2100996925 hasLocation W21009969252 @default.
• W2100996925 hasOpenAccess W2100996925 @default.
• W2100996925 hasPrimaryLocation W21009969251 @default.
• W2100996925 hasRelatedWork W1513140821 @default.
• W2100996925 hasRelatedWork W1782526664 @default.
• W2100996925 hasRelatedWork W1975007607 @default.
• W2100996925 hasRelatedWork W2017163896 @default.
• W2100996925 hasRelatedWork W2100996925 @default.
• W2100996925 hasRelatedWork W2122911764 @default.
• W2100996925 hasRelatedWork W2168877757 @default.
• W2100996925 hasRelatedWork W2203405714 @default.
• W2100996925 hasRelatedWork W2390302156 @default.
• W2100996925 hasRelatedWork W2514398768 @default.
• W2100996925 hasVolume "207" @default.
• W2100996925 isParatext "false" @default.
• W2100996925 isRetracted "false" @default.
• W2100996925 magId "2100996925" @default.

• next