Matches in SemOpenAlex for { <https://semopenalex.org/work/W2015695171> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2015695171 endingPage "18" @default.
- W2015695171 startingPage "3" @default.
- W2015695171 abstract "Structural operational semantics can be studied at the general level of distributive laws of syntax over behaviour. This yields specification formats for well-behaved algebraic operations on final coalgebras, which are a domain for the behaviour of all systems of a given type functor. We introduce a format for specification of algebraic operations that restrict to the rational fixpoint of a functor, which captures the behaviour of finite systems. In other words, we show that rational behaviour is closed under operations specified in our format. As applications we consider operations on regular languages, regular processes and finite weighted transition systems." @default.
- W2015695171 created "2016-06-24" @default.
- W2015695171 creator A5015520868 @default.
- W2015695171 creator A5015904690 @default.
- W2015695171 creator A5028076905 @default.
- W2015695171 date "2012-08-12" @default.
- W2015695171 modified "2023-10-02" @default.
- W2015695171 title "On the specification of operations on the rational behaviour of systems" @default.
- W2015695171 cites W1485181793 @default.
- W2015695171 cites W1518444163 @default.
- W2015695171 cites W1535812899 @default.
- W2015695171 cites W1595870841 @default.
- W2015695171 cites W1643571618 @default.
- W2015695171 cites W1966112122 @default.
- W2015695171 cites W1969279113 @default.
- W2015695171 cites W1984467134 @default.
- W2015695171 cites W2038789187 @default.
- W2015695171 cites W2042266169 @default.
- W2015695171 cites W2046978930 @default.
- W2015695171 cites W2053682188 @default.
- W2015695171 cites W2081620669 @default.
- W2015695171 cites W2085858043 @default.
- W2015695171 cites W2090223152 @default.
- W2015695171 cites W2099019799 @default.
- W2015695171 cites W2101032471 @default.
- W2015695171 cites W2126684544 @default.
- W2015695171 cites W3105979217 @default.
- W2015695171 cites W4211195649 @default.
- W2015695171 cites W4212983671 @default.
- W2015695171 cites W4244129601 @default.
- W2015695171 doi "https://doi.org/10.4204/eptcs.89.2" @default.
- W2015695171 hasPublicationYear "2012" @default.
- W2015695171 type Work @default.
- W2015695171 sameAs 2015695171 @default.
- W2015695171 citedByCount "3" @default.
- W2015695171 countsByYear W20156951712013 @default.
- W2015695171 countsByYear W20156951712015 @default.
- W2015695171 countsByYear W20156951712023 @default.
- W2015695171 crossrefType "journal-article" @default.
- W2015695171 hasAuthorship W2015695171A5015520868 @default.
- W2015695171 hasAuthorship W2015695171A5015904690 @default.
- W2015695171 hasAuthorship W2015695171A5028076905 @default.
- W2015695171 hasBestOaLocation W20156951711 @default.
- W2015695171 hasConcept C11821877 @default.
- W2015695171 hasConcept C134306372 @default.
- W2015695171 hasConcept C136003732 @default.
- W2015695171 hasConcept C136119220 @default.
- W2015695171 hasConcept C154945302 @default.
- W2015695171 hasConcept C156772000 @default.
- W2015695171 hasConcept C184337299 @default.
- W2015695171 hasConcept C199360897 @default.
- W2015695171 hasConcept C201677973 @default.
- W2015695171 hasConcept C202444582 @default.
- W2015695171 hasConcept C2777691520 @default.
- W2015695171 hasConcept C2779167558 @default.
- W2015695171 hasConcept C33923547 @default.
- W2015695171 hasConcept C36503486 @default.
- W2015695171 hasConcept C41008148 @default.
- W2015695171 hasConcept C60048249 @default.
- W2015695171 hasConcept C9376300 @default.
- W2015695171 hasConceptScore W2015695171C11821877 @default.
- W2015695171 hasConceptScore W2015695171C134306372 @default.
- W2015695171 hasConceptScore W2015695171C136003732 @default.
- W2015695171 hasConceptScore W2015695171C136119220 @default.
- W2015695171 hasConceptScore W2015695171C154945302 @default.
- W2015695171 hasConceptScore W2015695171C156772000 @default.
- W2015695171 hasConceptScore W2015695171C184337299 @default.
- W2015695171 hasConceptScore W2015695171C199360897 @default.
- W2015695171 hasConceptScore W2015695171C201677973 @default.
- W2015695171 hasConceptScore W2015695171C202444582 @default.
- W2015695171 hasConceptScore W2015695171C2777691520 @default.
- W2015695171 hasConceptScore W2015695171C2779167558 @default.
- W2015695171 hasConceptScore W2015695171C33923547 @default.
- W2015695171 hasConceptScore W2015695171C36503486 @default.
- W2015695171 hasConceptScore W2015695171C41008148 @default.
- W2015695171 hasConceptScore W2015695171C60048249 @default.
- W2015695171 hasConceptScore W2015695171C9376300 @default.
- W2015695171 hasLocation W20156951711 @default.
- W2015695171 hasLocation W20156951712 @default.
- W2015695171 hasLocation W20156951713 @default.
- W2015695171 hasOpenAccess W2015695171 @default.
- W2015695171 hasPrimaryLocation W20156951711 @default.
- W2015695171 hasRelatedWork W1513140821 @default.
- W2015695171 hasRelatedWork W1545848507 @default.
- W2015695171 hasRelatedWork W1563875108 @default.
- W2015695171 hasRelatedWork W2002067075 @default.
- W2015695171 hasRelatedWork W2015695171 @default.
- W2015695171 hasRelatedWork W2020116537 @default.
- W2015695171 hasRelatedWork W2026028037 @default.
- W2015695171 hasRelatedWork W2026649631 @default.
- W2015695171 hasRelatedWork W2156227495 @default.
- W2015695171 hasRelatedWork W2608014291 @default.
- W2015695171 hasVolume "89" @default.
- W2015695171 isParatext "false" @default.
- W2015695171 isRetracted "false" @default.
- W2015695171 magId "2015695171" @default.
- W2015695171 workType "article" @default.