Matches in SemOpenAlex for { <https://semopenalex.org/work/W1639532306> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1639532306 abstract "A verification method for distributed systems based on decoupling forward and backward behaviour is proposed. This method uses an event structure based algorithm that, given a CCS process, constructs its causal compression relative to a choice of observable actions. Verifying the original process equipped with distributed backtracking on non-observable actions, is equivalent to verifying its relative compression which in general is much smaller. We call this method Declarative Concurrent Programming (DCP). DCP technique compares well with direct bisimulation based methods. Benchmarks for the classic dining philosophers problem show that causal compression is rather efficient both time- and space-wise. State of the art verification tools can successfully handle more than 15 agents, whereas they can handle no more than 5 following the traditional direct method; an altogether spectacular improvement, since in this example the specification size is exponential in the number of agents." @default.
- W1639532306 created "2016-06-24" @default.
- W1639532306 creator A5077182970 @default.
- W1639532306 date "2006-06-22" @default.
- W1639532306 modified "2023-09-25" @default.
- W1639532306 title "A verification algorithm for Declarative Concurrent Programming" @default.
- W1639532306 hasPublicationYear "2006" @default.
- W1639532306 type Work @default.
- W1639532306 sameAs 1639532306 @default.
- W1639532306 citedByCount "1" @default.
- W1639532306 crossrefType "posted-content" @default.
- W1639532306 hasAuthorship W1639532306A5077182970 @default.
- W1639532306 hasConcept C11413529 @default.
- W1639532306 hasConcept C121332964 @default.
- W1639532306 hasConcept C127413603 @default.
- W1639532306 hasConcept C133731056 @default.
- W1639532306 hasConcept C156884757 @default.
- W1639532306 hasConcept C199360897 @default.
- W1639532306 hasConcept C205606062 @default.
- W1639532306 hasConcept C2779662365 @default.
- W1639532306 hasConcept C32848918 @default.
- W1639532306 hasConcept C41008148 @default.
- W1639532306 hasConcept C62520636 @default.
- W1639532306 hasConcept C80444323 @default.
- W1639532306 hasConcept C98045186 @default.
- W1639532306 hasConceptScore W1639532306C11413529 @default.
- W1639532306 hasConceptScore W1639532306C121332964 @default.
- W1639532306 hasConceptScore W1639532306C127413603 @default.
- W1639532306 hasConceptScore W1639532306C133731056 @default.
- W1639532306 hasConceptScore W1639532306C156884757 @default.
- W1639532306 hasConceptScore W1639532306C199360897 @default.
- W1639532306 hasConceptScore W1639532306C205606062 @default.
- W1639532306 hasConceptScore W1639532306C2779662365 @default.
- W1639532306 hasConceptScore W1639532306C32848918 @default.
- W1639532306 hasConceptScore W1639532306C41008148 @default.
- W1639532306 hasConceptScore W1639532306C62520636 @default.
- W1639532306 hasConceptScore W1639532306C80444323 @default.
- W1639532306 hasConceptScore W1639532306C98045186 @default.
- W1639532306 hasLocation W16395323061 @default.
- W1639532306 hasOpenAccess W1639532306 @default.
- W1639532306 hasPrimaryLocation W16395323061 @default.
- W1639532306 hasRelatedWork W1181962483 @default.
- W1639532306 hasRelatedWork W1520598616 @default.
- W1639532306 hasRelatedWork W1521028483 @default.
- W1639532306 hasRelatedWork W1562663103 @default.
- W1639532306 hasRelatedWork W1839854015 @default.
- W1639532306 hasRelatedWork W2012351729 @default.
- W1639532306 hasRelatedWork W2030511855 @default.
- W1639532306 hasRelatedWork W2040058429 @default.
- W1639532306 hasRelatedWork W2056851806 @default.
- W1639532306 hasRelatedWork W2076879110 @default.
- W1639532306 hasRelatedWork W2102005460 @default.
- W1639532306 hasRelatedWork W2136066653 @default.
- W1639532306 hasRelatedWork W2156851947 @default.
- W1639532306 hasRelatedWork W2569507975 @default.
- W1639532306 hasRelatedWork W2625079116 @default.
- W1639532306 hasRelatedWork W2771737342 @default.
- W1639532306 hasRelatedWork W2798836490 @default.
- W1639532306 hasRelatedWork W2885205415 @default.
- W1639532306 hasRelatedWork W2952306390 @default.
- W1639532306 hasRelatedWork W325678020 @default.
- W1639532306 isParatext "false" @default.
- W1639532306 isRetracted "false" @default.
- W1639532306 magId "1639532306" @default.
- W1639532306 workType "article" @default.