Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098737690> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2098737690 endingPage "204" @default.
- W2098737690 startingPage "185" @default.
- W2098737690 abstract "In On the Expressiveness of CSP, Roscoe provides a construction that, given the operational semantics rules of a CSP-like language and a process in that language, constructs a strongly bisimilar CSP process. Unfortunately, the construction provided is difficult to use and the scripts that it produces cannot be compiled by the CSP model-checker, FDR. In this paper we adapt Roscoe's simulation in order to make it produce a process that can be checked relatively efficiently by FDR. Further, we ex- tend Roscoe's simulation in order to allow recursively defined processes to be simu- lated in FDR, which was not supported by the original simulation. We also describe the construction of a tool that can automatically construct the simulation, given the operational semantics of the language and a script to simulate, both in an easy-to-use format." @default.
- W2098737690 created "2016-06-24" @default.
- W2098737690 creator A5012851566 @default.
- W2098737690 date "2013-01-01" @default.
- W2098737690 modified "2023-09-28" @default.
- W2098737690 title "Efficient Simulation of CSP−Like Languages" @default.
- W2098737690 cites W1603799276 @default.
- W2098737690 cites W2049764332 @default.
- W2098737690 cites W205770835 @default.
- W2098737690 cites W2128510433 @default.
- W2098737690 cites W2129384397 @default.
- W2098737690 cites W2137865376 @default.
- W2098737690 cites W2165351791 @default.
- W2098737690 cites W2175137100 @default.
- W2098737690 cites W3141165000 @default.
- W2098737690 cites W3141608122 @default.
- W2098737690 cites W3144368627 @default.
- W2098737690 cites W91876324 @default.
- W2098737690 cites W983611959 @default.
- W2098737690 hasPublicationYear "2013" @default.
- W2098737690 type Work @default.
- W2098737690 sameAs 2098737690 @default.
- W2098737690 citedByCount "0" @default.
- W2098737690 crossrefType "proceedings-article" @default.
- W2098737690 hasAuthorship W2098737690A5012851566 @default.
- W2098737690 hasConcept C156325763 @default.
- W2098737690 hasConcept C161771561 @default.
- W2098737690 hasConcept C179603123 @default.
- W2098737690 hasConcept C184337299 @default.
- W2098737690 hasConcept C199360897 @default.
- W2098737690 hasConcept C2777904410 @default.
- W2098737690 hasConcept C2780801425 @default.
- W2098737690 hasConcept C41008148 @default.
- W2098737690 hasConcept C61423126 @default.
- W2098737690 hasConcept C80444323 @default.
- W2098737690 hasConcept C98045186 @default.
- W2098737690 hasConceptScore W2098737690C156325763 @default.
- W2098737690 hasConceptScore W2098737690C161771561 @default.
- W2098737690 hasConceptScore W2098737690C179603123 @default.
- W2098737690 hasConceptScore W2098737690C184337299 @default.
- W2098737690 hasConceptScore W2098737690C199360897 @default.
- W2098737690 hasConceptScore W2098737690C2777904410 @default.
- W2098737690 hasConceptScore W2098737690C2780801425 @default.
- W2098737690 hasConceptScore W2098737690C41008148 @default.
- W2098737690 hasConceptScore W2098737690C61423126 @default.
- W2098737690 hasConceptScore W2098737690C80444323 @default.
- W2098737690 hasConceptScore W2098737690C98045186 @default.
- W2098737690 hasLocation W20987376901 @default.
- W2098737690 hasOpenAccess W2098737690 @default.
- W2098737690 hasPrimaryLocation W20987376901 @default.
- W2098737690 hasRelatedWork W1515352270 @default.
- W2098737690 hasRelatedWork W1546954646 @default.
- W2098737690 hasRelatedWork W1840677318 @default.
- W2098737690 hasRelatedWork W1975898810 @default.
- W2098737690 hasRelatedWork W2055877289 @default.
- W2098737690 hasRelatedWork W2137073013 @default.
- W2098737690 hasRelatedWork W2151534443 @default.
- W2098737690 hasRelatedWork W2151835341 @default.
- W2098737690 hasRelatedWork W2157036634 @default.
- W2098737690 hasRelatedWork W2281587923 @default.
- W2098737690 hasRelatedWork W2299804622 @default.
- W2098737690 hasRelatedWork W2520438138 @default.
- W2098737690 hasRelatedWork W2525665404 @default.
- W2098737690 hasRelatedWork W2579904350 @default.
- W2098737690 hasRelatedWork W2739852388 @default.
- W2098737690 hasRelatedWork W2899100473 @default.
- W2098737690 hasRelatedWork W3018173417 @default.
- W2098737690 hasRelatedWork W3096901482 @default.
- W2098737690 hasRelatedWork W3114585449 @default.
- W2098737690 hasRelatedWork W808755874 @default.
- W2098737690 isParatext "false" @default.
- W2098737690 isRetracted "false" @default.
- W2098737690 magId "2098737690" @default.
- W2098737690 workType "article" @default.