FRINK Linked Data Fragments server

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

• W2153717963 abstract "In 1992 Wang & Larsen extended the may- and must preorders of De Nicola and Hennessy to processes featuring probabilistic as well as nondeterministic choice. They concluded with two problems that have remained open throughout the years, namely to find complete axiomatisations and alternative characterisations for these preorders. This paper solves both problems for finite processes with silent moves. It characterises the may preorder in terms of simulation, and the must preorder in terms of failure simulation. It also gives a characterisation of both preorders using a modal logic. Finally it axiomatises both preorders over a probabilistic version of CSP." @default.
• W2153717963 created "2016-06-24" @default.
• W2153717963 creator A5022036342 @default.
• W2153717963 creator A5036035088 @default.
• W2153717963 creator A5039019347 @default.
• W2153717963 creator A5048229897 @default.
• W2153717963 date "2008-10-28" @default.
• W2153717963 modified "2023-10-16" @default.
• W2153717963 title "Characterising Testing Preorders for Finite Probabilistic Processes" @default.
• W2153717963 cites W135832138 @default.
• W2153717963 cites W1482332845 @default.
• W2153717963 cites W1492711856 @default.
• W2153717963 cites W1503973138 @default.
• W2153717963 cites W1533361503 @default.
• W2153717963 cites W1548292705 @default.
• W2153717963 cites W1561357353 @default.
• W2153717963 cites W1580323521 @default.
• W2153717963 cites W1736113712 @default.
• W2153717963 cites W1793726001 @default.
• W2153717963 cites W1805999688 @default.
• W2153717963 cites W1850900101 @default.
• W2153717963 cites W1935088456 @default.
• W2153717963 cites W1976268573 @default.
• W2153717963 cites W1978469611 @default.
• W2153717963 cites W2024355065 @default.
• W2153717963 cites W2030875267 @default.
• W2153717963 cites W2034188142 @default.
• W2153717963 cites W2038373047 @default.
• W2153717963 cites W2039139411 @default.
• W2153717963 cites W2044194891 @default.
• W2153717963 cites W2052170634 @default.
• W2153717963 cites W2067899880 @default.
• W2153717963 cites W2072033902 @default.
• W2153717963 cites W2078717493 @default.
• W2153717963 cites W2102097307 @default.
• W2153717963 cites W2119122895 @default.
• W2153717963 cites W2125500714 @default.
• W2153717963 cites W2130773382 @default.
• W2153717963 cites W2135795876 @default.
• W2153717963 cites W2136920408 @default.
• W2153717963 cites W2144545266 @default.
• W2153717963 cites W2152206644 @default.
• W2153717963 cites W2152398409 @default.
• W2153717963 cites W2155748644 @default.
• W2153717963 cites W2157144873 @default.
• W2153717963 cites W2334782222 @default.
• W2153717963 cites W3000511677 @default.
• W2153717963 cites W3144368627 @default.
• W2153717963 doi "https://doi.org/10.2168/lmcs-4(4:4)2008" @default.
• W2153717963 hasPublicationYear "2008" @default.
• W2153717963 type Work @default.
• W2153717963 sameAs 2153717963 @default.
• W2153717963 citedByCount "48" @default.
• W2153717963 countsByYear W21537179632012 @default.
• W2153717963 countsByYear W21537179632013 @default.
• W2153717963 countsByYear W21537179632014 @default.
• W2153717963 countsByYear W21537179632015 @default.
• W2153717963 countsByYear W21537179632016 @default.
• W2153717963 countsByYear W21537179632017 @default.
• W2153717963 countsByYear W21537179632018 @default.
• W2153717963 countsByYear W21537179632019 @default.
• W2153717963 countsByYear W21537179632020 @default.
• W2153717963 countsByYear W21537179632021 @default.
• W2153717963 countsByYear W21537179632022 @default.
• W2153717963 countsByYear W21537179632023 @default.
• W2153717963 crossrefType "journal-article" @default.
• W2153717963 hasAuthorship W2153717963A5022036342 @default.
• W2153717963 hasAuthorship W2153717963A5036035088 @default.
• W2153717963 hasAuthorship W2153717963A5039019347 @default.
• W2153717963 hasAuthorship W2153717963A5048229897 @default.
• W2153717963 hasBestOaLocation W21537179631 @default.
• W2153717963 hasConcept C118615104 @default.
• W2153717963 hasConcept C136119220 @default.
• W2153717963 hasConcept C154945302 @default.
• W2153717963 hasConcept C176181172 @default.
• W2153717963 hasConcept C185592680 @default.
• W2153717963 hasConcept C188027245 @default.
• W2153717963 hasConcept C202444582 @default.
• W2153717963 hasConcept C2333172 @default.
• W2153717963 hasConcept C27508121 @default.
• W2153717963 hasConcept C33923547 @default.
• W2153717963 hasConcept C41008148 @default.
• W2153717963 hasConcept C49937458 @default.
• W2153717963 hasConcept C71139939 @default.
• W2153717963 hasConceptScore W2153717963C118615104 @default.
• W2153717963 hasConceptScore W2153717963C136119220 @default.
• W2153717963 hasConceptScore W2153717963C154945302 @default.
• W2153717963 hasConceptScore W2153717963C176181172 @default.
• W2153717963 hasConceptScore W2153717963C185592680 @default.
• W2153717963 hasConceptScore W2153717963C188027245 @default.
• W2153717963 hasConceptScore W2153717963C202444582 @default.
• W2153717963 hasConceptScore W2153717963C2333172 @default.
• W2153717963 hasConceptScore W2153717963C27508121 @default.
• W2153717963 hasConceptScore W2153717963C33923547 @default.
• W2153717963 hasConceptScore W2153717963C41008148 @default.
• W2153717963 hasConceptScore W2153717963C49937458 @default.
• W2153717963 hasConceptScore W2153717963C71139939 @default.
• W2153717963 hasIssue "4" @default.
• W2153717963 hasLocation W21537179631 @default.
• W2153717963 hasLocation W21537179632 @default.

• next