FRINK Linked Data Fragments server

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

• W1545410075 abstract "This paper presents a range of approaches to the analysis and development of program specifications that have been expressed in a probabilistic process algebra. The approach explores Markovian processes as a high-level abstraction tool to reason about system specifications. The abstractions include ones to check the structure of specifications, analyze the long-term stability of the system, and provide guidance to improve the specifications if they are found to be unstable. The approach could present interest to the formal methods and critical-systems development community, as it leads to an automatic analysis of some subtle properties of complex systems. We illustrate some aspects by analyzing the Monty Hall game, and a probabilistic protocol." @default.
• W1545410075 created "2016-06-24" @default.
• W1545410075 creator A5072509898 @default.
• W1545410075 creator A5086401198 @default.
• W1545410075 date "2009-01-01" @default.
• W1545410075 modified "2023-09-26" @default.
• W1545410075 title "Markov Abstractions for Probabilistic Pi-Calculus" @default.
• W1545410075 cites W128143198 @default.
• W1545410075 cites W1487076595 @default.
• W1545410075 cites W1572517263 @default.
• W1545410075 cites W1600783817 @default.
• W1545410075 cites W1603799276 @default.
• W1545410075 cites W2005998857 @default.
• W1545410075 cites W2021089599 @default.
• W1545410075 cites W2097255270 @default.
• W1545410075 cites W2102097307 @default.
• W1545410075 cites W2108293102 @default.
• W1545410075 cites W2110796675 @default.
• W1545410075 cites W2130429899 @default.
• W1545410075 cites W2170807097 @default.
• W1545410075 doi "https://doi.org/10.14279/tuj.eceasst.22.317" @default.
• W1545410075 hasPublicationYear "2009" @default.
• W1545410075 type Work @default.
• W1545410075 sameAs 1545410075 @default.
• W1545410075 citedByCount "1" @default.
• W1545410075 countsByYear W15454100752020 @default.
• W1545410075 crossrefType "journal-article" @default.
• W1545410075 hasAuthorship W1545410075A5072509898 @default.
• W1545410075 hasAuthorship W1545410075A5086401198 @default.
• W1545410075 hasConcept C105795698 @default.
• W1545410075 hasConcept C106189395 @default.
• W1545410075 hasConcept C111472728 @default.
• W1545410075 hasConcept C112972136 @default.
• W1545410075 hasConcept C119857082 @default.
• W1545410075 hasConcept C124304363 @default.
• W1545410075 hasConcept C128828806 @default.
• W1545410075 hasConcept C138885662 @default.
• W1545410075 hasConcept C154945302 @default.
• W1545410075 hasConcept C159886148 @default.
• W1545410075 hasConcept C159985019 @default.
• W1545410075 hasConcept C161771561 @default.
• W1545410075 hasConcept C192562407 @default.
• W1545410075 hasConcept C199360897 @default.
• W1545410075 hasConcept C204323151 @default.
• W1545410075 hasConcept C24404364 @default.
• W1545410075 hasConcept C2984882572 @default.
• W1545410075 hasConcept C33923547 @default.
• W1545410075 hasConcept C41008148 @default.
• W1545410075 hasConcept C49937458 @default.
• W1545410075 hasConcept C52063229 @default.
• W1545410075 hasConcept C75606506 @default.
• W1545410075 hasConcept C80444323 @default.
• W1545410075 hasConcept C98045186 @default.
• W1545410075 hasConcept C98763669 @default.
• W1545410075 hasConceptScore W1545410075C105795698 @default.
• W1545410075 hasConceptScore W1545410075C106189395 @default.
• W1545410075 hasConceptScore W1545410075C111472728 @default.
• W1545410075 hasConceptScore W1545410075C112972136 @default.
• W1545410075 hasConceptScore W1545410075C119857082 @default.
• W1545410075 hasConceptScore W1545410075C124304363 @default.
• W1545410075 hasConceptScore W1545410075C128828806 @default.
• W1545410075 hasConceptScore W1545410075C138885662 @default.
• W1545410075 hasConceptScore W1545410075C154945302 @default.
• W1545410075 hasConceptScore W1545410075C159886148 @default.
• W1545410075 hasConceptScore W1545410075C159985019 @default.
• W1545410075 hasConceptScore W1545410075C161771561 @default.
• W1545410075 hasConceptScore W1545410075C192562407 @default.
• W1545410075 hasConceptScore W1545410075C199360897 @default.
• W1545410075 hasConceptScore W1545410075C204323151 @default.
• W1545410075 hasConceptScore W1545410075C24404364 @default.
• W1545410075 hasConceptScore W1545410075C2984882572 @default.
• W1545410075 hasConceptScore W1545410075C33923547 @default.
• W1545410075 hasConceptScore W1545410075C41008148 @default.
• W1545410075 hasConceptScore W1545410075C49937458 @default.
• W1545410075 hasConceptScore W1545410075C52063229 @default.
• W1545410075 hasConceptScore W1545410075C75606506 @default.
• W1545410075 hasConceptScore W1545410075C80444323 @default.
• W1545410075 hasConceptScore W1545410075C98045186 @default.
• W1545410075 hasConceptScore W1545410075C98763669 @default.
• W1545410075 hasLocation W15454100751 @default.
• W1545410075 hasOpenAccess W1545410075 @default.
• W1545410075 hasPrimaryLocation W15454100751 @default.
• W1545410075 hasRelatedWork W1514230248 @default.
• W1545410075 hasRelatedWork W1676946443 @default.
• W1545410075 hasRelatedWork W1941942257 @default.
• W1545410075 hasRelatedWork W2005233703 @default.
• W1545410075 hasRelatedWork W2028362613 @default.
• W1545410075 hasRelatedWork W2079365979 @default.
• W1545410075 hasRelatedWork W2173007823 @default.
• W1545410075 hasRelatedWork W2232679946 @default.
• W1545410075 hasRelatedWork W2289288445 @default.
• W1545410075 hasRelatedWork W2289372141 @default.
• W1545410075 hasRelatedWork W2394934717 @default.
• W1545410075 hasRelatedWork W2499919860 @default.
• W1545410075 hasRelatedWork W2569102954 @default.
• W1545410075 hasRelatedWork W2571739046 @default.
• W1545410075 hasRelatedWork W2757758944 @default.
• W1545410075 hasRelatedWork W2967179464 @default.
• W1545410075 hasRelatedWork W3097130803 @default.
• W1545410075 hasRelatedWork W3129065811 @default.

• next