FRINK Linked Data Fragments server

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

• W3150793409 abstract "This paper gives a general coalgebraic account of temporal logics whose semantics involves a notion of computation path. Examples of such logics include the logic CTL* for transition systems and the logic PCTL for probabilistic transition systems. Our path-based temporal logics are interpreted over coalgebras of endofunctors obtained as the composition of a computation type (e.g. nondeterministic or stochastic) with a general transition type. The semantics of such logics relies on the existence of execution maps similar to the trace maps introduced by Jacobs and co-authors as part of the coalgebraic theory of finite traces [1]. We consider both finite execution maps derived from the theory of finite traces, and a new notion of maximal execution map that accounts for maximal, possibly infinite executions. The latter is needed to recover the logics CTL* and PCTL as specific path-based logics." @default.
• W3150793409 created "2021-04-13" @default.
• W3150793409 creator A5050718588 @default.
• W3150793409 date "2011-01-01" @default.
• W3150793409 modified "2023-09-27" @default.
• W3150793409 title "Maximal Traces and Path-Based Coalgebraic Temporal Logics" @default.
• W3150793409 cites W1503002024 @default.
• W3150793409 cites W2005998857 @default.
• W3150793409 cites W2015640848 @default.
• W3150793409 cites W2060917500 @default.
• W3150793409 cites W2065261632 @default.
• W3150793409 cites W2088189323 @default.
• W3150793409 cites W2088194522 @default.
• W3150793409 cites W2093397547 @default.
• W3150793409 cites W2093450770 @default.
• W3150793409 cites W2107807291 @default.
• W3150793409 cites W2112535338 @default.
• W3150793409 cites W2133256831 @default.
• W3150793409 cites W2171472101 @default.
• W3150793409 cites W2199672054 @default.
• W3150793409 cites W2244349542 @default.
• W3150793409 cites W2340735175 @default.
• W3150793409 cites W342302233 @default.
• W3150793409 hasPublicationYear "2011" @default.
• W3150793409 type Work @default.
• W3150793409 sameAs 3150793409 @default.
• W3150793409 citedByCount "3" @default.
• W3150793409 countsByYear W31507934092016 @default.
• W3150793409 countsByYear W31507934092017 @default.
• W3150793409 countsByYear W31507934092018 @default.
• W3150793409 crossrefType "journal-article" @default.
• W3150793409 hasAuthorship W3150793409A5050718588 @default.
• W3150793409 hasConcept C105795698 @default.
• W3150793409 hasConcept C110251889 @default.
• W3150793409 hasConcept C11413529 @default.
• W3150793409 hasConcept C118615104 @default.
• W3150793409 hasConcept C135315306 @default.
• W3150793409 hasConcept C136119220 @default.
• W3150793409 hasConcept C154945302 @default.
• W3150793409 hasConcept C176181172 @default.
• W3150793409 hasConcept C184337299 @default.
• W3150793409 hasConcept C198008173 @default.
• W3150793409 hasConcept C199360897 @default.
• W3150793409 hasConcept C202444582 @default.
• W3150793409 hasConcept C25016198 @default.
• W3150793409 hasConcept C2777735758 @default.
• W3150793409 hasConcept C2779167558 @default.
• W3150793409 hasConcept C33923547 @default.
• W3150793409 hasConcept C41008148 @default.
• W3150793409 hasConcept C42011625 @default.
• W3150793409 hasConcept C49937458 @default.
• W3150793409 hasConcept C5263885 @default.
• W3150793409 hasConcept C58166 @default.
• W3150793409 hasConcept C80444323 @default.
• W3150793409 hasConcept C86602344 @default.
• W3150793409 hasConceptScore W3150793409C105795698 @default.
• W3150793409 hasConceptScore W3150793409C110251889 @default.
• W3150793409 hasConceptScore W3150793409C11413529 @default.
• W3150793409 hasConceptScore W3150793409C118615104 @default.
• W3150793409 hasConceptScore W3150793409C135315306 @default.
• W3150793409 hasConceptScore W3150793409C136119220 @default.
• W3150793409 hasConceptScore W3150793409C154945302 @default.
• W3150793409 hasConceptScore W3150793409C176181172 @default.
• W3150793409 hasConceptScore W3150793409C184337299 @default.
• W3150793409 hasConceptScore W3150793409C198008173 @default.
• W3150793409 hasConceptScore W3150793409C199360897 @default.
• W3150793409 hasConceptScore W3150793409C202444582 @default.
• W3150793409 hasConceptScore W3150793409C25016198 @default.
• W3150793409 hasConceptScore W3150793409C2777735758 @default.
• W3150793409 hasConceptScore W3150793409C2779167558 @default.
• W3150793409 hasConceptScore W3150793409C33923547 @default.
• W3150793409 hasConceptScore W3150793409C41008148 @default.
• W3150793409 hasConceptScore W3150793409C42011625 @default.
• W3150793409 hasConceptScore W3150793409C49937458 @default.
• W3150793409 hasConceptScore W3150793409C5263885 @default.
• W3150793409 hasConceptScore W3150793409C58166 @default.
• W3150793409 hasConceptScore W3150793409C80444323 @default.
• W3150793409 hasConceptScore W3150793409C86602344 @default.
• W3150793409 hasLocation W31507934091 @default.
• W3150793409 hasOpenAccess W3150793409 @default.
• W3150793409 hasPrimaryLocation W31507934091 @default.
• W3150793409 hasRelatedWork W1502268331 @default.
• W3150793409 hasRelatedWork W1553109126 @default.
• W3150793409 hasRelatedWork W1580818477 @default.
• W3150793409 hasRelatedWork W1602925513 @default.
• W3150793409 hasRelatedWork W1989540314 @default.
• W3150793409 hasRelatedWork W2026323606 @default.
• W3150793409 hasRelatedWork W2064284596 @default.
• W3150793409 hasRelatedWork W2086788473 @default.
• W3150793409 hasRelatedWork W2088189323 @default.
• W3150793409 hasRelatedWork W2153411278 @default.
• W3150793409 hasRelatedWork W2255874857 @default.
• W3150793409 hasRelatedWork W2583633540 @default.
• W3150793409 hasRelatedWork W2952160849 @default.
• W3150793409 hasRelatedWork W2963084494 @default.
• W3150793409 hasRelatedWork W3025687582 @default.
• W3150793409 hasRelatedWork W3101634683 @default.
• W3150793409 hasRelatedWork W3140173229 @default.
• W3150793409 hasRelatedWork W3141641753 @default.
• W3150793409 hasRelatedWork W2551916823 @default.

• next