Matches in SemOpenAlex for { <https://semopenalex.org/work/W2132656146> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2132656146 abstract "The specification language Csp-Casl allows one to model processes as well as data of distributed systems within one framework. In our paper, we describe how a combination of the existing tools Hets and Csp-Prover can solve the challenges that Csp-Casl raises on integrated theorem proving for processes and data. For building this new tool, the automated generation of theorems and their proofs in Isabelle/HOL plays a fundamental role. A case study of industrial strength demonstrates that our approach scales up to complex problems." @default.
- W2132656146 created "2016-06-24" @default.
- W2132656146 creator A5008873463 @default.
- W2132656146 creator A5042230213 @default.
- W2132656146 creator A5052756595 @default.
- W2132656146 date "2009-09-01" @default.
- W2132656146 modified "2023-09-26" @default.
- W2132656146 title "CSP-CASL-Prover: A Generic Tool for Process and Data Refinement" @default.
- W2132656146 cites W1515857575 @default.
- W2132656146 cites W1526060216 @default.
- W2132656146 cites W156128023 @default.
- W2132656146 cites W1566729015 @default.
- W2132656146 cites W1599755007 @default.
- W2132656146 cites W1737580910 @default.
- W2132656146 cites W1975230264 @default.
- W2132656146 cites W2105923183 @default.
- W2132656146 cites W2120926795 @default.
- W2132656146 cites W2129384397 @default.
- W2132656146 cites W2141730280 @default.
- W2132656146 cites W2205969556 @default.
- W2132656146 cites W2235379671 @default.
- W2132656146 cites W2235903980 @default.
- W2132656146 cites W2282040387 @default.
- W2132656146 cites W2500166317 @default.
- W2132656146 cites W3022678140 @default.
- W2132656146 cites W3144368627 @default.
- W2132656146 cites W57212168 @default.
- W2132656146 cites W2580427688 @default.
- W2132656146 cites W2584449131 @default.
- W2132656146 cites W3142790043 @default.
- W2132656146 doi "https://doi.org/10.1016/j.entcs.2009.08.018" @default.
- W2132656146 hasPublicationYear "2009" @default.
- W2132656146 type Work @default.
- W2132656146 sameAs 2132656146 @default.
- W2132656146 citedByCount "6" @default.
- W2132656146 countsByYear W21326561462012 @default.
- W2132656146 countsByYear W21326561462013 @default.
- W2132656146 countsByYear W21326561462017 @default.
- W2132656146 crossrefType "journal-article" @default.
- W2132656146 hasAuthorship W2132656146A5008873463 @default.
- W2132656146 hasAuthorship W2132656146A5042230213 @default.
- W2132656146 hasAuthorship W2132656146A5052756595 @default.
- W2132656146 hasBestOaLocation W21326561461 @default.
- W2132656146 hasConcept C108710211 @default.
- W2132656146 hasConcept C159718280 @default.
- W2132656146 hasConcept C17435882 @default.
- W2132656146 hasConcept C199360897 @default.
- W2132656146 hasConcept C206880738 @default.
- W2132656146 hasConcept C2524010 @default.
- W2132656146 hasConcept C33923547 @default.
- W2132656146 hasConcept C41008148 @default.
- W2132656146 hasConcept C80444323 @default.
- W2132656146 hasConcept C98045186 @default.
- W2132656146 hasConceptScore W2132656146C108710211 @default.
- W2132656146 hasConceptScore W2132656146C159718280 @default.
- W2132656146 hasConceptScore W2132656146C17435882 @default.
- W2132656146 hasConceptScore W2132656146C199360897 @default.
- W2132656146 hasConceptScore W2132656146C206880738 @default.
- W2132656146 hasConceptScore W2132656146C2524010 @default.
- W2132656146 hasConceptScore W2132656146C33923547 @default.
- W2132656146 hasConceptScore W2132656146C41008148 @default.
- W2132656146 hasConceptScore W2132656146C80444323 @default.
- W2132656146 hasConceptScore W2132656146C98045186 @default.
- W2132656146 hasLocation W21326561461 @default.
- W2132656146 hasLocation W21326561462 @default.
- W2132656146 hasOpenAccess W2132656146 @default.
- W2132656146 hasPrimaryLocation W21326561461 @default.
- W2132656146 hasRelatedWork W101296552 @default.
- W2132656146 hasRelatedWork W1464569014 @default.
- W2132656146 hasRelatedWork W1466691798 @default.
- W2132656146 hasRelatedWork W1496802971 @default.
- W2132656146 hasRelatedWork W1515857575 @default.
- W2132656146 hasRelatedWork W1526060216 @default.
- W2132656146 hasRelatedWork W1599755007 @default.
- W2132656146 hasRelatedWork W2059584710 @default.
- W2132656146 hasRelatedWork W2141730280 @default.
- W2132656146 hasRelatedWork W2262937022 @default.
- W2132656146 hasRelatedWork W2339645850 @default.
- W2132656146 hasRelatedWork W2414648896 @default.
- W2132656146 hasRelatedWork W2774258213 @default.
- W2132656146 hasRelatedWork W2945005331 @default.
- W2132656146 hasRelatedWork W2984009438 @default.
- W2132656146 hasRelatedWork W2999767359 @default.
- W2132656146 hasRelatedWork W3083835029 @default.
- W2132656146 hasRelatedWork W3144368627 @default.
- W2132656146 hasRelatedWork W622015006 @default.
- W2132656146 hasRelatedWork W3142790043 @default.
- W2132656146 isParatext "false" @default.
- W2132656146 isRetracted "false" @default.
- W2132656146 magId "2132656146" @default.
- W2132656146 workType "article" @default.