FRINK Linked Data Fragments server

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

• W2283144080 abstract "We provide a unifying view of timed models such as timed automata, probabilistic timed automata, and Markov automata. The timed models and their bisimulation semantics are encoded in the framework of uniform labeled transition systems. In this unifying framework, we show that the timed bisimilarities present in the literature can be re-obtained and that a new bisimilarity, of which we exhibit the modal logic characterization, can be introduced for timed models including probabilities. We finally highlight similarities and differences among the models." @default.
• W2283144080 created "2016-06-24" @default.
• W2283144080 creator A5076735277 @default.
• W2283144080 creator A5090241572 @default.
• W2283144080 date "2013-01-01" @default.
• W2283144080 modified "2023-10-01" @default.
• W2283144080 title "Encoding Timed Models as Uniform Labeled Transition Systems" @default.
• W2283144080 cites W1491196069 @default.
• W2283144080 cites W1524401886 @default.
• W2283144080 cites W1552249698 @default.
• W2283144080 cites W1554376394 @default.
• W2283144080 cites W1559986400 @default.
• W2283144080 cites W1589336320 @default.
• W2283144080 cites W1597655219 @default.
• W2283144080 cites W1968437296 @default.
• W2283144080 cites W1970078694 @default.
• W2283144080 cites W1976268573 @default.
• W2283144080 cites W1978469611 @default.
• W2283144080 cites W1994350081 @default.
• W2283144080 cites W2009280542 @default.
• W2283144080 cites W2047137643 @default.
• W2283144080 cites W2101508170 @default.
• W2283144080 cites W2130773092 @default.
• W2283144080 cites W2146187895 @default.
• W2283144080 cites W2153273838 @default.
• W2283144080 cites W2163234015 @default.
• W2283144080 doi "https://doi.org/10.1007/978-3-642-40725-3_9" @default.
• W2283144080 hasPublicationYear "2013" @default.
• W2283144080 type Work @default.
• W2283144080 sameAs 2283144080 @default.
• W2283144080 citedByCount "7" @default.
• W2283144080 countsByYear W22831440802014 @default.
• W2283144080 countsByYear W22831440802015 @default.
• W2283144080 countsByYear W22831440802017 @default.
• W2283144080 countsByYear W22831440802018 @default.
• W2283144080 countsByYear W22831440802019 @default.
• W2283144080 countsByYear W22831440802021 @default.
• W2283144080 crossrefType "book-chapter" @default.
• W2283144080 hasAuthorship W2283144080A5076735277 @default.
• W2283144080 hasAuthorship W2283144080A5090241572 @default.
• W2283144080 hasBestOaLocation W22831440802 @default.
• W2283144080 hasConcept C112505250 @default.
• W2283144080 hasConcept C11413529 @default.
• W2283144080 hasConcept C119857082 @default.
• W2283144080 hasConcept C125411270 @default.
• W2283144080 hasConcept C135315306 @default.
• W2283144080 hasConcept C154945302 @default.
• W2283144080 hasConcept C184337299 @default.
• W2283144080 hasConcept C185592680 @default.
• W2283144080 hasConcept C188027245 @default.
• W2283144080 hasConcept C199360897 @default.
• W2283144080 hasConcept C27508121 @default.
• W2283144080 hasConcept C2779167558 @default.
• W2283144080 hasConcept C30788636 @default.
• W2283144080 hasConcept C41008148 @default.
• W2283144080 hasConcept C49937458 @default.
• W2283144080 hasConcept C71139939 @default.
• W2283144080 hasConcept C80444323 @default.
• W2283144080 hasConcept C98763669 @default.
• W2283144080 hasConceptScore W2283144080C112505250 @default.
• W2283144080 hasConceptScore W2283144080C11413529 @default.
• W2283144080 hasConceptScore W2283144080C119857082 @default.
• W2283144080 hasConceptScore W2283144080C125411270 @default.
• W2283144080 hasConceptScore W2283144080C135315306 @default.
• W2283144080 hasConceptScore W2283144080C154945302 @default.
• W2283144080 hasConceptScore W2283144080C184337299 @default.
• W2283144080 hasConceptScore W2283144080C185592680 @default.
• W2283144080 hasConceptScore W2283144080C188027245 @default.
• W2283144080 hasConceptScore W2283144080C199360897 @default.
• W2283144080 hasConceptScore W2283144080C27508121 @default.
• W2283144080 hasConceptScore W2283144080C2779167558 @default.
• W2283144080 hasConceptScore W2283144080C30788636 @default.
• W2283144080 hasConceptScore W2283144080C41008148 @default.
• W2283144080 hasConceptScore W2283144080C49937458 @default.
• W2283144080 hasConceptScore W2283144080C71139939 @default.
• W2283144080 hasConceptScore W2283144080C80444323 @default.
• W2283144080 hasConceptScore W2283144080C98763669 @default.
• W2283144080 hasLocation W22831440801 @default.
• W2283144080 hasLocation W22831440802 @default.
• W2283144080 hasOpenAccess W2283144080 @default.
• W2283144080 hasPrimaryLocation W22831440801 @default.
• W2283144080 hasRelatedWork W1487652347 @default.
• W2283144080 hasRelatedWork W1507081797 @default.
• W2283144080 hasRelatedWork W1524401886 @default.
• W2283144080 hasRelatedWork W1527285552 @default.
• W2283144080 hasRelatedWork W1552826644 @default.
• W2283144080 hasRelatedWork W1593043349 @default.
• W2283144080 hasRelatedWork W1750171350 @default.
• W2283144080 hasRelatedWork W1886746238 @default.
• W2283144080 hasRelatedWork W2124122503 @default.
• W2283144080 hasRelatedWork W2146187895 @default.
• W2283144080 hasRelatedWork W2242084152 @default.
• W2283144080 hasRelatedWork W2344990015 @default.
• W2283144080 hasRelatedWork W2398303742 @default.
• W2283144080 hasRelatedWork W2603486396 @default.
• W2283144080 hasRelatedWork W2604841551 @default.
• W2283144080 hasRelatedWork W2741764335 @default.
• W2283144080 hasRelatedWork W2888608181 @default.
• W2283144080 hasRelatedWork W2963692889 @default.
• W2283144080 hasRelatedWork W3091546927 @default.

• next