Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521283428> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1521283428 endingPage "291" @default.
- W1521283428 startingPage "276" @default.
- W1521283428 abstract "Symmetry based approaches are known to attack the state space explosion problem encountered during the analysis of distributed systems. In another way, BDD-like encodings enable the management of huge data sets. In this paper, we show how to benefit from both approaches automatically. Hence, a quotient set is built from a coloured Petri net description modeling the system. The reachability set is managed under some explicit symbolic operations. Also, data representations are managed symbolically based on a recently introduced data structure, called Data Decisions Diagrams, that allow flexible definition of application specific operators. Performances yielded by our prototype are reported in the paper." @default.
- W1521283428 created "2016-06-24" @default.
- W1521283428 creator A5004185054 @default.
- W1521283428 creator A5033313993 @default.
- W1521283428 creator A5080778746 @default.
- W1521283428 date "2004-01-01" @default.
- W1521283428 modified "2023-09-27" @default.
- W1521283428 title "A Symbolic Symbolic State Space Representation" @default.
- W1521283428 cites W1518904286 @default.
- W1521283428 cites W1557512698 @default.
- W1521283428 cites W1580990631 @default.
- W1521283428 cites W1585333046 @default.
- W1521283428 cites W1718783241 @default.
- W1521283428 cites W1984957636 @default.
- W1521283428 cites W2098590705 @default.
- W1521283428 cites W2146432221 @default.
- W1521283428 cites W3023064319 @default.
- W1521283428 doi "https://doi.org/10.1007/978-3-540-30232-2_18" @default.
- W1521283428 hasPublicationYear "2004" @default.
- W1521283428 type Work @default.
- W1521283428 sameAs 1521283428 @default.
- W1521283428 citedByCount "14" @default.
- W1521283428 countsByYear W15212834282012 @default.
- W1521283428 countsByYear W15212834282016 @default.
- W1521283428 crossrefType "book-chapter" @default.
- W1521283428 hasAuthorship W1521283428A5004185054 @default.
- W1521283428 hasAuthorship W1521283428A5033313993 @default.
- W1521283428 hasAuthorship W1521283428A5080778746 @default.
- W1521283428 hasBestOaLocation W15212834281 @default.
- W1521283428 hasConcept C105795698 @default.
- W1521283428 hasConcept C110251889 @default.
- W1521283428 hasConcept C11413529 @default.
- W1521283428 hasConcept C136643341 @default.
- W1521283428 hasConcept C162319229 @default.
- W1521283428 hasConcept C177264268 @default.
- W1521283428 hasConcept C17744445 @default.
- W1521283428 hasConcept C199360897 @default.
- W1521283428 hasConcept C199422724 @default.
- W1521283428 hasConcept C199539241 @default.
- W1521283428 hasConcept C202444582 @default.
- W1521283428 hasConcept C23123167 @default.
- W1521283428 hasConcept C2776359362 @default.
- W1521283428 hasConcept C33923547 @default.
- W1521283428 hasConcept C38677869 @default.
- W1521283428 hasConcept C41008148 @default.
- W1521283428 hasConcept C48103436 @default.
- W1521283428 hasConcept C65620979 @default.
- W1521283428 hasConcept C72434380 @default.
- W1521283428 hasConcept C80444323 @default.
- W1521283428 hasConcept C94625758 @default.
- W1521283428 hasConceptScore W1521283428C105795698 @default.
- W1521283428 hasConceptScore W1521283428C110251889 @default.
- W1521283428 hasConceptScore W1521283428C11413529 @default.
- W1521283428 hasConceptScore W1521283428C136643341 @default.
- W1521283428 hasConceptScore W1521283428C162319229 @default.
- W1521283428 hasConceptScore W1521283428C177264268 @default.
- W1521283428 hasConceptScore W1521283428C17744445 @default.
- W1521283428 hasConceptScore W1521283428C199360897 @default.
- W1521283428 hasConceptScore W1521283428C199422724 @default.
- W1521283428 hasConceptScore W1521283428C199539241 @default.
- W1521283428 hasConceptScore W1521283428C202444582 @default.
- W1521283428 hasConceptScore W1521283428C23123167 @default.
- W1521283428 hasConceptScore W1521283428C2776359362 @default.
- W1521283428 hasConceptScore W1521283428C33923547 @default.
- W1521283428 hasConceptScore W1521283428C38677869 @default.
- W1521283428 hasConceptScore W1521283428C41008148 @default.
- W1521283428 hasConceptScore W1521283428C48103436 @default.
- W1521283428 hasConceptScore W1521283428C65620979 @default.
- W1521283428 hasConceptScore W1521283428C72434380 @default.
- W1521283428 hasConceptScore W1521283428C80444323 @default.
- W1521283428 hasConceptScore W1521283428C94625758 @default.
- W1521283428 hasLocation W15212834281 @default.
- W1521283428 hasLocation W15212834282 @default.
- W1521283428 hasLocation W15212834283 @default.
- W1521283428 hasOpenAccess W1521283428 @default.
- W1521283428 hasPrimaryLocation W15212834281 @default.
- W1521283428 hasRelatedWork W1521283428 @default.
- W1521283428 hasRelatedWork W1864138857 @default.
- W1521283428 hasRelatedWork W2062420902 @default.
- W1521283428 hasRelatedWork W206281402 @default.
- W1521283428 hasRelatedWork W2170020397 @default.
- W1521283428 hasRelatedWork W2171468557 @default.
- W1521283428 hasRelatedWork W2990690886 @default.
- W1521283428 hasRelatedWork W3147623613 @default.
- W1521283428 hasRelatedWork W3212519233 @default.
- W1521283428 hasRelatedWork W4312733571 @default.
- W1521283428 isParatext "false" @default.
- W1521283428 isRetracted "false" @default.
- W1521283428 magId "1521283428" @default.
- W1521283428 workType "book-chapter" @default.