Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243634862> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4243634862 abstract "CSP (communicating sequential processes) is a useful algebraic notation for creating a hierarchical behavioral specification for concurrent systems, due to its formal interprocess synchronization and communication semantics. CSP specifications are amenable to simulation and formal verification by model-checking tools. To overcome the drawback that CSP is neither a full-featured nor popular programming language, an approach called selective formalism allows the use of CSP to be limited to specifying the control portion of a system, while the rest of its functionality is supplied in the form of C++ modules. These are activated through association with abstract events in the CSP specification. The target system is constructed using a framework called CSP++, which automatically translates CSP specifications into C++, thereby making CSP directly executable. Thus a bridge is built that allows a formal method to be combined with a popular programming language. It is believed that this methodology can be extended to hardware/software codesign." @default.
- W4243634862 created "2022-05-12" @default.
- W4243634862 creator A5084250859 @default.
- W4243634862 date "2003-01-01" @default.
- W4243634862 modified "2023-09-24" @default.
- W4243634862 title "Bridging CSP and C++ with selective formalism and executable specifications" @default.
- W4243634862 cites W1637266576 @default.
- W4243634862 cites W1985757471 @default.
- W4243634862 cites W1991407995 @default.
- W4243634862 cites W2064893392 @default.
- W4243634862 cites W2098799476 @default.
- W4243634862 cites W2158942489 @default.
- W4243634862 cites W4231609956 @default.
- W4243634862 cites W4248524416 @default.
- W4243634862 doi "https://doi.org/10.1109/memcod.2003.1210108" @default.
- W4243634862 hasPublicationYear "2003" @default.
- W4243634862 type Work @default.
- W4243634862 citedByCount "4" @default.
- W4243634862 countsByYear W42436348622015 @default.
- W4243634862 countsByYear W42436348622018 @default.
- W4243634862 crossrefType "proceedings-article" @default.
- W4243634862 hasAuthorship W4243634862A5084250859 @default.
- W4243634862 hasConcept C111498074 @default.
- W4243634862 hasConcept C116253237 @default.
- W4243634862 hasConcept C142362112 @default.
- W4243634862 hasConcept C153349607 @default.
- W4243634862 hasConcept C155214134 @default.
- W4243634862 hasConcept C156325763 @default.
- W4243634862 hasConcept C160145156 @default.
- W4243634862 hasConcept C174348530 @default.
- W4243634862 hasConcept C184337299 @default.
- W4243634862 hasConcept C193702766 @default.
- W4243634862 hasConcept C199360897 @default.
- W4243634862 hasConcept C201677973 @default.
- W4243634862 hasConcept C31258907 @default.
- W4243634862 hasConcept C41008148 @default.
- W4243634862 hasConcept C558565934 @default.
- W4243634862 hasConcept C73301696 @default.
- W4243634862 hasConcept C75606506 @default.
- W4243634862 hasConcept C90069079 @default.
- W4243634862 hasConceptScore W4243634862C111498074 @default.
- W4243634862 hasConceptScore W4243634862C116253237 @default.
- W4243634862 hasConceptScore W4243634862C142362112 @default.
- W4243634862 hasConceptScore W4243634862C153349607 @default.
- W4243634862 hasConceptScore W4243634862C155214134 @default.
- W4243634862 hasConceptScore W4243634862C156325763 @default.
- W4243634862 hasConceptScore W4243634862C160145156 @default.
- W4243634862 hasConceptScore W4243634862C174348530 @default.
- W4243634862 hasConceptScore W4243634862C184337299 @default.
- W4243634862 hasConceptScore W4243634862C193702766 @default.
- W4243634862 hasConceptScore W4243634862C199360897 @default.
- W4243634862 hasConceptScore W4243634862C201677973 @default.
- W4243634862 hasConceptScore W4243634862C31258907 @default.
- W4243634862 hasConceptScore W4243634862C41008148 @default.
- W4243634862 hasConceptScore W4243634862C558565934 @default.
- W4243634862 hasConceptScore W4243634862C73301696 @default.
- W4243634862 hasConceptScore W4243634862C75606506 @default.
- W4243634862 hasConceptScore W4243634862C90069079 @default.
- W4243634862 hasLocation W42436348621 @default.
- W4243634862 hasOpenAccess W4243634862 @default.
- W4243634862 hasPrimaryLocation W42436348621 @default.
- W4243634862 hasRelatedWork W1520778375 @default.
- W4243634862 hasRelatedWork W1559579193 @default.
- W4243634862 hasRelatedWork W2051386633 @default.
- W4243634862 hasRelatedWork W2105399249 @default.
- W4243634862 hasRelatedWork W2109457818 @default.
- W4243634862 hasRelatedWork W2113201355 @default.
- W4243634862 hasRelatedWork W2156223462 @default.
- W4243634862 hasRelatedWork W2350068048 @default.
- W4243634862 hasRelatedWork W4361193698 @default.
- W4243634862 hasRelatedWork W2804226765 @default.
- W4243634862 isParatext "false" @default.
- W4243634862 isRetracted "false" @default.
- W4243634862 workType "article" @default.