Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033745143> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2033745143 endingPage "330" @default.
- W2033745143 startingPage "302" @default.
- W2033745143 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. A translator has been created to synthesize C++ code from CSP for execution with an object-oriented framework called CSP++, thereby making CSP specifications directly executable. 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. This is a new means of bringing convergence between a formal method and a popular programming language. It is believed that this methodology can be extended to hardware/software codesign for embedded systems." @default.
- W2033745143 created "2016-06-24" @default.
- W2033745143 creator A5084250859 @default.
- W2033745143 date "2005-05-01" @default.
- W2033745143 modified "2023-10-16" @default.
- W2033745143 title "Converging CSP specifications and C++ programming via selective formalism" @default.
- W2033745143 cites W1637266576 @default.
- W2033745143 cites W1985757471 @default.
- W2033745143 cites W1991407995 @default.
- W2033745143 cites W2064893392 @default.
- W2033745143 cites W2098799476 @default.
- W2033745143 cites W2158942489 @default.
- W2033745143 cites W4231609956 @default.
- W2033745143 cites W4243634862 @default.
- W2033745143 cites W4248524416 @default.
- W2033745143 doi "https://doi.org/10.1145/1067915.1067919" @default.
- W2033745143 hasPublicationYear "2005" @default.
- W2033745143 type Work @default.
- W2033745143 sameAs 2033745143 @default.
- W2033745143 citedByCount "11" @default.
- W2033745143 countsByYear W20337451432012 @default.
- W2033745143 countsByYear W20337451432015 @default.
- W2033745143 countsByYear W20337451432022 @default.
- W2033745143 crossrefType "journal-article" @default.
- W2033745143 hasAuthorship W2033745143A5084250859 @default.
- W2033745143 hasConcept C116253237 @default.
- W2033745143 hasConcept C120314980 @default.
- W2033745143 hasConcept C142362112 @default.
- W2033745143 hasConcept C153349607 @default.
- W2033745143 hasConcept C155214134 @default.
- W2033745143 hasConcept C156325763 @default.
- W2033745143 hasConcept C160145156 @default.
- W2033745143 hasConcept C184337299 @default.
- W2033745143 hasConcept C193702766 @default.
- W2033745143 hasConcept C199360897 @default.
- W2033745143 hasConcept C201677973 @default.
- W2033745143 hasConcept C204156049 @default.
- W2033745143 hasConcept C41008148 @default.
- W2033745143 hasConcept C558565934 @default.
- W2033745143 hasConcept C73301696 @default.
- W2033745143 hasConcept C75606506 @default.
- W2033745143 hasConceptScore W2033745143C116253237 @default.
- W2033745143 hasConceptScore W2033745143C120314980 @default.
- W2033745143 hasConceptScore W2033745143C142362112 @default.
- W2033745143 hasConceptScore W2033745143C153349607 @default.
- W2033745143 hasConceptScore W2033745143C155214134 @default.
- W2033745143 hasConceptScore W2033745143C156325763 @default.
- W2033745143 hasConceptScore W2033745143C160145156 @default.
- W2033745143 hasConceptScore W2033745143C184337299 @default.
- W2033745143 hasConceptScore W2033745143C193702766 @default.
- W2033745143 hasConceptScore W2033745143C199360897 @default.
- W2033745143 hasConceptScore W2033745143C201677973 @default.
- W2033745143 hasConceptScore W2033745143C204156049 @default.
- W2033745143 hasConceptScore W2033745143C41008148 @default.
- W2033745143 hasConceptScore W2033745143C558565934 @default.
- W2033745143 hasConceptScore W2033745143C73301696 @default.
- W2033745143 hasConceptScore W2033745143C75606506 @default.
- W2033745143 hasIssue "2" @default.
- W2033745143 hasLocation W20337451431 @default.
- W2033745143 hasOpenAccess W2033745143 @default.
- W2033745143 hasPrimaryLocation W20337451431 @default.
- W2033745143 hasRelatedWork W1551207508 @default.
- W2033745143 hasRelatedWork W1964436108 @default.
- W2033745143 hasRelatedWork W2033745143 @default.
- W2033745143 hasRelatedWork W2035334563 @default.
- W2033745143 hasRelatedWork W2105399249 @default.
- W2033745143 hasRelatedWork W2113201355 @default.
- W2033745143 hasRelatedWork W2156223462 @default.
- W2033745143 hasRelatedWork W2808050154 @default.
- W2033745143 hasRelatedWork W4253603427 @default.
- W2033745143 hasRelatedWork W2804226765 @default.
- W2033745143 hasVolume "4" @default.
- W2033745143 isParatext "false" @default.
- W2033745143 isRetracted "false" @default.
- W2033745143 magId "2033745143" @default.
- W2033745143 workType "article" @default.