Matches in SemOpenAlex for { <https://semopenalex.org/work/W2005133733> ?p ?o ?g. }
- W2005133733 abstract "Terminal coalgebras for a functor serve as semantic domains for state-based systems of various types. For example, behaviors of CCS processes, streams, infinite trees, formal languages and non-well-founded sets form terminal coalgebras. We present a uniform account of the semantics of recursive definitions in terminal coalgebras by combining two ideas: (1) abstract GSOS rules l specify additional algebraic operations on a terminal coalgebra; (2) terminal coalgebras are also initial completely iterative algebras (cias). We also show that an abstract GSOS rule leads to new extended cia structures on the terminal coalgebra. Then we formalize recursive function definitions involving given operations specified by l as recursive program schemes for l, and we prove that unique solutions exist in the extended cias. From our results it follows that the solutions of recursive (function) definitions in terminal coalgebras may be used in subsequent recursive definitions which still have unique solutions. We call this principle modularity. We illustrate our results by the five concrete terminal coalgebras mentioned above, e.,g., a finite stream circuit defines a unique stream function." @default.
- W2005133733 created "2016-06-24" @default.
- W2005133733 creator A5015904690 @default.
- W2005133733 creator A5028261970 @default.
- W2005133733 creator A5058880651 @default.
- W2005133733 date "2013-09-30" @default.
- W2005133733 modified "2023-10-18" @default.
- W2005133733 title "Abstract GSOS Rules and a Modular Treatment of Recursive Definitions" @default.
- W2005133733 cites W1485825789 @default.
- W2005133733 cites W1503973138 @default.
- W2005133733 cites W1509057155 @default.
- W2005133733 cites W1535812899 @default.
- W2005133733 cites W1588285800 @default.
- W2005133733 cites W1592061669 @default.
- W2005133733 cites W1808317016 @default.
- W2005133733 cites W1966112122 @default.
- W2005133733 cites W1995902462 @default.
- W2005133733 cites W1998546360 @default.
- W2005133733 cites W2002089154 @default.
- W2005133733 cites W2020531742 @default.
- W2005133733 cites W2026552167 @default.
- W2005133733 cites W2040834264 @default.
- W2005133733 cites W2053682188 @default.
- W2005133733 cites W2057843304 @default.
- W2005133733 cites W2073781357 @default.
- W2005133733 cites W2082232201 @default.
- W2005133733 cites W2088189323 @default.
- W2005133733 cites W2101032471 @default.
- W2005133733 cites W2117627793 @default.
- W2005133733 cites W2120713972 @default.
- W2005133733 cites W2136660485 @default.
- W2005133733 cites W2137773821 @default.
- W2005133733 cites W2148744216 @default.
- W2005133733 cites W2163256338 @default.
- W2005133733 cites W2167808031 @default.
- W2005133733 cites W2610899059 @default.
- W2005133733 cites W2970349335 @default.
- W2005133733 cites W3037159123 @default.
- W2005133733 cites W2473922187 @default.
- W2005133733 cites W3143135297 @default.
- W2005133733 doi "https://doi.org/10.2168/lmcs-9(3:28)2013" @default.
- W2005133733 hasPublicationYear "2013" @default.
- W2005133733 type Work @default.
- W2005133733 sameAs 2005133733 @default.
- W2005133733 citedByCount "10" @default.
- W2005133733 countsByYear W20051337332014 @default.
- W2005133733 countsByYear W20051337332015 @default.
- W2005133733 countsByYear W20051337332016 @default.
- W2005133733 countsByYear W20051337332017 @default.
- W2005133733 countsByYear W20051337332019 @default.
- W2005133733 countsByYear W20051337332022 @default.
- W2005133733 crossrefType "journal-article" @default.
- W2005133733 hasAuthorship W2005133733A5015904690 @default.
- W2005133733 hasAuthorship W2005133733A5028261970 @default.
- W2005133733 hasAuthorship W2005133733A5058880651 @default.
- W2005133733 hasBestOaLocation W20051337331 @default.
- W2005133733 hasConcept C101468663 @default.
- W2005133733 hasConcept C11413529 @default.
- W2005133733 hasConcept C118615104 @default.
- W2005133733 hasConcept C134306372 @default.
- W2005133733 hasConcept C136119220 @default.
- W2005133733 hasConcept C14036430 @default.
- W2005133733 hasConcept C156772000 @default.
- W2005133733 hasConcept C184337299 @default.
- W2005133733 hasConcept C199360897 @default.
- W2005133733 hasConcept C202444582 @default.
- W2005133733 hasConcept C2778003309 @default.
- W2005133733 hasConcept C2778249326 @default.
- W2005133733 hasConcept C2779478453 @default.
- W2005133733 hasConcept C2779664074 @default.
- W2005133733 hasConcept C33923547 @default.
- W2005133733 hasConcept C41008148 @default.
- W2005133733 hasConcept C48103436 @default.
- W2005133733 hasConcept C54355233 @default.
- W2005133733 hasConcept C76155785 @default.
- W2005133733 hasConcept C78458016 @default.
- W2005133733 hasConcept C86803240 @default.
- W2005133733 hasConcept C9376300 @default.
- W2005133733 hasConceptScore W2005133733C101468663 @default.
- W2005133733 hasConceptScore W2005133733C11413529 @default.
- W2005133733 hasConceptScore W2005133733C118615104 @default.
- W2005133733 hasConceptScore W2005133733C134306372 @default.
- W2005133733 hasConceptScore W2005133733C136119220 @default.
- W2005133733 hasConceptScore W2005133733C14036430 @default.
- W2005133733 hasConceptScore W2005133733C156772000 @default.
- W2005133733 hasConceptScore W2005133733C184337299 @default.
- W2005133733 hasConceptScore W2005133733C199360897 @default.
- W2005133733 hasConceptScore W2005133733C202444582 @default.
- W2005133733 hasConceptScore W2005133733C2778003309 @default.
- W2005133733 hasConceptScore W2005133733C2778249326 @default.
- W2005133733 hasConceptScore W2005133733C2779478453 @default.
- W2005133733 hasConceptScore W2005133733C2779664074 @default.
- W2005133733 hasConceptScore W2005133733C33923547 @default.
- W2005133733 hasConceptScore W2005133733C41008148 @default.
- W2005133733 hasConceptScore W2005133733C48103436 @default.
- W2005133733 hasConceptScore W2005133733C54355233 @default.
- W2005133733 hasConceptScore W2005133733C76155785 @default.
- W2005133733 hasConceptScore W2005133733C78458016 @default.
- W2005133733 hasConceptScore W2005133733C86803240 @default.
- W2005133733 hasConceptScore W2005133733C9376300 @default.