Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152613304> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2152613304 abstract "The Simple systems form a class of process algebras whose operational semantics can be specified using finite state labelled transition systems. In this work, we describe how to efficiently derive the ordered Binary Decision Diagrams (BDDs) corresponding to the operational semantics of the terms of an arbitrary Simple system. Model checking using such BDDs can often significantly speedup the testing of properties such as bisimilarity over direct algorithms. We also introduce a useful extension of Simple providing explicit recursion. For the CCS operators, we show that the corresponding BDD operators we generate automatically are comparable to those coded by hand." @default.
- W2152613304 created "2016-06-24" @default.
- W2152613304 creator A5029434559 @default.
- W2152613304 creator A5045567747 @default.
- W2152613304 date "1995-01-01" @default.
- W2152613304 modified "2023-09-23" @default.
- W2152613304 title "Generating BDD models for process algebra terms" @default.
- W2152613304 cites W1481841467 @default.
- W2152613304 cites W1523766116 @default.
- W2152613304 cites W1547562281 @default.
- W2152613304 cites W1577673148 @default.
- W2152613304 cites W1639519860 @default.
- W2152613304 cites W1973642705 @default.
- W2152613304 cites W1998132813 @default.
- W2152613304 cites W2070157304 @default.
- W2152613304 cites W2080267935 @default.
- W2152613304 cites W2105135809 @default.
- W2152613304 doi "https://doi.org/10.1007/3-540-60045-0_37" @default.
- W2152613304 hasPublicationYear "1995" @default.
- W2152613304 type Work @default.
- W2152613304 sameAs 2152613304 @default.
- W2152613304 citedByCount "7" @default.
- W2152613304 countsByYear W21526133042015 @default.
- W2152613304 crossrefType "book-chapter" @default.
- W2152613304 hasAuthorship W2152613304A5029434559 @default.
- W2152613304 hasAuthorship W2152613304A5045567747 @default.
- W2152613304 hasBestOaLocation W21526133041 @default.
- W2152613304 hasConcept C111472728 @default.
- W2152613304 hasConcept C11413529 @default.
- W2152613304 hasConcept C136119220 @default.
- W2152613304 hasConcept C138885662 @default.
- W2152613304 hasConcept C154945302 @default.
- W2152613304 hasConcept C156325763 @default.
- W2152613304 hasConcept C161771561 @default.
- W2152613304 hasConcept C168773036 @default.
- W2152613304 hasConcept C173608175 @default.
- W2152613304 hasConcept C184337299 @default.
- W2152613304 hasConcept C199360897 @default.
- W2152613304 hasConcept C202444582 @default.
- W2152613304 hasConcept C2777212361 @default.
- W2152613304 hasConcept C2778029271 @default.
- W2152613304 hasConcept C2779167558 @default.
- W2152613304 hasConcept C2780586882 @default.
- W2152613304 hasConcept C3309909 @default.
- W2152613304 hasConcept C33923547 @default.
- W2152613304 hasConcept C41008148 @default.
- W2152613304 hasConcept C68339613 @default.
- W2152613304 hasConcept C80444323 @default.
- W2152613304 hasConcept C98045186 @default.
- W2152613304 hasConceptScore W2152613304C111472728 @default.
- W2152613304 hasConceptScore W2152613304C11413529 @default.
- W2152613304 hasConceptScore W2152613304C136119220 @default.
- W2152613304 hasConceptScore W2152613304C138885662 @default.
- W2152613304 hasConceptScore W2152613304C154945302 @default.
- W2152613304 hasConceptScore W2152613304C156325763 @default.
- W2152613304 hasConceptScore W2152613304C161771561 @default.
- W2152613304 hasConceptScore W2152613304C168773036 @default.
- W2152613304 hasConceptScore W2152613304C173608175 @default.
- W2152613304 hasConceptScore W2152613304C184337299 @default.
- W2152613304 hasConceptScore W2152613304C199360897 @default.
- W2152613304 hasConceptScore W2152613304C202444582 @default.
- W2152613304 hasConceptScore W2152613304C2777212361 @default.
- W2152613304 hasConceptScore W2152613304C2778029271 @default.
- W2152613304 hasConceptScore W2152613304C2779167558 @default.
- W2152613304 hasConceptScore W2152613304C2780586882 @default.
- W2152613304 hasConceptScore W2152613304C3309909 @default.
- W2152613304 hasConceptScore W2152613304C33923547 @default.
- W2152613304 hasConceptScore W2152613304C41008148 @default.
- W2152613304 hasConceptScore W2152613304C68339613 @default.
- W2152613304 hasConceptScore W2152613304C80444323 @default.
- W2152613304 hasConceptScore W2152613304C98045186 @default.
- W2152613304 hasLocation W21526133041 @default.
- W2152613304 hasOpenAccess W2152613304 @default.
- W2152613304 hasPrimaryLocation W21526133041 @default.
- W2152613304 hasRelatedWork W1548649610 @default.
- W2152613304 hasRelatedWork W1837817108 @default.
- W2152613304 hasRelatedWork W1976195070 @default.
- W2152613304 hasRelatedWork W1990835282 @default.
- W2152613304 hasRelatedWork W1994049223 @default.
- W2152613304 hasRelatedWork W1998132813 @default.
- W2152613304 hasRelatedWork W2015778889 @default.
- W2152613304 hasRelatedWork W2061438988 @default.
- W2152613304 hasRelatedWork W2074052167 @default.
- W2152613304 hasRelatedWork W2080267935 @default.
- W2152613304 hasRelatedWork W2088602797 @default.
- W2152613304 hasRelatedWork W2123249903 @default.
- W2152613304 hasRelatedWork W2129169918 @default.
- W2152613304 hasRelatedWork W2137108108 @default.
- W2152613304 hasRelatedWork W2145785237 @default.
- W2152613304 hasRelatedWork W2306485542 @default.
- W2152613304 hasRelatedWork W2344067679 @default.
- W2152613304 hasRelatedWork W2510492060 @default.
- W2152613304 hasRelatedWork W2535656783 @default.
- W2152613304 hasRelatedWork W5386596 @default.
- W2152613304 isParatext "false" @default.
- W2152613304 isRetracted "false" @default.
- W2152613304 magId "2152613304" @default.
- W2152613304 workType "book-chapter" @default.