Matches in SemOpenAlex for { <https://semopenalex.org/work/W2565260343> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2565260343 abstract "Rebeca is an actor-based language with formal semantics that can be used in modeling concurrent and distributed software and protocols. In this paper, we study the application of partial order and symmetry reduction techniques to model checking dynamic Rebeca models. Finding symmetry based equivalence classes of states is in general a difficult problem known to be as hard as graph isomorphism. We show how, for Rebeca models, we can tackle this problem with a polynomial-time solution. Moreover, the coarse-grained interleaving semantics of Rebeca causes considerable reductions when partial order reduction is applied. We have also developed a tool that can make use of both techniques in combination or separately. The evaluation results show significant improvements in model size and model-checking time." @default.
- W2565260343 created "2017-01-06" @default.
- W2565260343 creator A5017524084 @default.
- W2565260343 creator A5050982984 @default.
- W2565260343 creator A5078919695 @default.
- W2565260343 creator A5078969375 @default.
- W2565260343 date "2007-01-01" @default.
- W2565260343 modified "2023-09-26" @default.
- W2565260343 title "Symmetry and partial order reduction techniques in model checking Rebeca" @default.
- W2565260343 hasPublicationYear "2007" @default.
- W2565260343 type Work @default.
- W2565260343 sameAs 2565260343 @default.
- W2565260343 citedByCount "0" @default.
- W2565260343 crossrefType "journal-article" @default.
- W2565260343 hasAuthorship W2565260343A5017524084 @default.
- W2565260343 hasAuthorship W2565260343A5050982984 @default.
- W2565260343 hasAuthorship W2565260343A5078919695 @default.
- W2565260343 hasAuthorship W2565260343A5078969375 @default.
- W2565260343 hasConcept C110251889 @default.
- W2565260343 hasConcept C111335779 @default.
- W2565260343 hasConcept C111919701 @default.
- W2565260343 hasConcept C11413529 @default.
- W2565260343 hasConcept C115624301 @default.
- W2565260343 hasConcept C118615104 @default.
- W2565260343 hasConcept C184337299 @default.
- W2565260343 hasConcept C185592680 @default.
- W2565260343 hasConcept C199360897 @default.
- W2565260343 hasConcept C203436722 @default.
- W2565260343 hasConcept C2524010 @default.
- W2565260343 hasConcept C2780069185 @default.
- W2565260343 hasConcept C28034677 @default.
- W2565260343 hasConcept C33923547 @default.
- W2565260343 hasConcept C41008148 @default.
- W2565260343 hasConcept C8010536 @default.
- W2565260343 hasConcept C80444323 @default.
- W2565260343 hasConcept C94633896 @default.
- W2565260343 hasConceptScore W2565260343C110251889 @default.
- W2565260343 hasConceptScore W2565260343C111335779 @default.
- W2565260343 hasConceptScore W2565260343C111919701 @default.
- W2565260343 hasConceptScore W2565260343C11413529 @default.
- W2565260343 hasConceptScore W2565260343C115624301 @default.
- W2565260343 hasConceptScore W2565260343C118615104 @default.
- W2565260343 hasConceptScore W2565260343C184337299 @default.
- W2565260343 hasConceptScore W2565260343C185592680 @default.
- W2565260343 hasConceptScore W2565260343C199360897 @default.
- W2565260343 hasConceptScore W2565260343C203436722 @default.
- W2565260343 hasConceptScore W2565260343C2524010 @default.
- W2565260343 hasConceptScore W2565260343C2780069185 @default.
- W2565260343 hasConceptScore W2565260343C28034677 @default.
- W2565260343 hasConceptScore W2565260343C33923547 @default.
- W2565260343 hasConceptScore W2565260343C41008148 @default.
- W2565260343 hasConceptScore W2565260343C8010536 @default.
- W2565260343 hasConceptScore W2565260343C80444323 @default.
- W2565260343 hasConceptScore W2565260343C94633896 @default.
- W2565260343 hasLocation W25652603431 @default.
- W2565260343 hasOpenAccess W2565260343 @default.
- W2565260343 hasPrimaryLocation W25652603431 @default.
- W2565260343 hasRelatedWork W1481983260 @default.
- W2565260343 hasRelatedWork W1573151257 @default.
- W2565260343 hasRelatedWork W1605725717 @default.
- W2565260343 hasRelatedWork W180991895 @default.
- W2565260343 hasRelatedWork W19040755 @default.
- W2565260343 hasRelatedWork W1973954352 @default.
- W2565260343 hasRelatedWork W2015146732 @default.
- W2565260343 hasRelatedWork W206281402 @default.
- W2565260343 hasRelatedWork W2068210046 @default.
- W2565260343 hasRelatedWork W2123522774 @default.
- W2565260343 hasRelatedWork W2145554021 @default.
- W2565260343 hasRelatedWork W2171372343 @default.
- W2565260343 hasRelatedWork W2272690707 @default.
- W2565260343 hasRelatedWork W2318396582 @default.
- W2565260343 hasRelatedWork W2400729340 @default.
- W2565260343 hasRelatedWork W2502580831 @default.
- W2565260343 hasRelatedWork W3020906502 @default.
- W2565260343 hasRelatedWork W3049479974 @default.
- W2565260343 hasRelatedWork W3131845281 @default.
- W2565260343 hasRelatedWork W46459026 @default.
- W2565260343 hasVolume "0704" @default.
- W2565260343 isParatext "false" @default.
- W2565260343 isRetracted "false" @default.
- W2565260343 magId "2565260343" @default.
- W2565260343 workType "article" @default.