FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2180072007> ?p ?o ?g. }

• W2180072007 abstract "Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP++ toolset was created to realize the concept of selective formalism by making machine-readable CSPm specifications both executable (through automatic C++ code generation) and extensible (by allowing integration of C++ user-coded functions, UCFs). However, UCFs were limited by their inability to share data with each other, thus their application was constrained to solving simple problems in isolation. We extend CSP++ by providing UCFs in the same CSP process with safe access to a shared storage area, similar in concept and API to Pthreads' thread-local storage, enabling cooperation between them and granting them the ability to undertake more complex tasks without breaking the formalism of the underlying specification. Process-specific storage is demonstrated with a line-following robot case study, applying CSP++ in a soft real-time system. Also described is the Eclipse plug-in that supports the CSPm design flow." @default.
• W2180072007 created "2016-06-24" @default.
• W2180072007 creator A5038716930 @default.
• W2180072007 creator A5084250859 @default.
• W2180072007 creator A5090270034 @default.
• W2180072007 date "2015-08-01" @default.
• W2180072007 modified "2023-09-26" @default.
• W2180072007 title "Supporting Selective Formalism in CSP++ with Process-Specific Storage" @default.
• W2180072007 cites W1484419658 @default.
• W2180072007 cites W1493087819 @default.
• W2180072007 cites W1496888382 @default.
• W2180072007 cites W1569451020 @default.
• W2180072007 cites W17712813 @default.
• W2180072007 cites W1977207775 @default.
• W2180072007 cites W2015540865 @default.
• W2180072007 cites W2033745143 @default.
• W2180072007 cites W204234732 @default.
• W2180072007 cites W2060910670 @default.
• W2180072007 cites W2062920592 @default.
• W2180072007 cites W2110425399 @default.
• W2180072007 cites W2128932399 @default.
• W2180072007 cites W2151640291 @default.
• W2180072007 cites W2159778703 @default.
• W2180072007 cites W2171044556 @default.
• W2180072007 cites W2187241333 @default.
• W2180072007 cites W2798354617 @default.
• W2180072007 cites W3088163093 @default.
• W2180072007 cites W3144368627 @default.
• W2180072007 cites W3215714284 @default.
• W2180072007 cites W69106526 @default.
• W2180072007 cites W88626288 @default.
• W2180072007 doi "https://doi.org/10.1109/hpcc-css-icess.2015.265" @default.
• W2180072007 hasPublicationYear "2015" @default.
• W2180072007 type Work @default.
• W2180072007 sameAs 2180072007 @default.
• W2180072007 citedByCount "2" @default.
• W2180072007 countsByYear W21800720072016 @default.
• W2180072007 countsByYear W21800720072017 @default.
• W2180072007 crossrefType "proceedings-article" @default.
• W2180072007 hasAuthorship W2180072007A5038716930 @default.
• W2180072007 hasAuthorship W2180072007A5084250859 @default.
• W2180072007 hasAuthorship W2180072007A5090270034 @default.
• W2180072007 hasConcept C111919701 @default.
• W2180072007 hasConcept C115168132 @default.
• W2180072007 hasConcept C120314980 @default.
• W2180072007 hasConcept C138101251 @default.
• W2180072007 hasConcept C142362112 @default.
• W2180072007 hasConcept C149635348 @default.
• W2180072007 hasConcept C153349607 @default.
• W2180072007 hasConcept C155214134 @default.
• W2180072007 hasConcept C156325763 @default.
• W2180072007 hasConcept C160145156 @default.
• W2180072007 hasConcept C169590947 @default.
• W2180072007 hasConcept C180699724 @default.
• W2180072007 hasConcept C184337299 @default.
• W2180072007 hasConcept C199360897 @default.
• W2180072007 hasConcept C2780940931 @default.
• W2180072007 hasConcept C41008148 @default.
• W2180072007 hasConcept C41138395 @default.
• W2180072007 hasConcept C558565934 @default.
• W2180072007 hasConcept C73301696 @default.
• W2180072007 hasConceptScore W2180072007C111919701 @default.
• W2180072007 hasConceptScore W2180072007C115168132 @default.
• W2180072007 hasConceptScore W2180072007C120314980 @default.
• W2180072007 hasConceptScore W2180072007C138101251 @default.
• W2180072007 hasConceptScore W2180072007C142362112 @default.
• W2180072007 hasConceptScore W2180072007C149635348 @default.
• W2180072007 hasConceptScore W2180072007C153349607 @default.
• W2180072007 hasConceptScore W2180072007C155214134 @default.
• W2180072007 hasConceptScore W2180072007C156325763 @default.
• W2180072007 hasConceptScore W2180072007C160145156 @default.
• W2180072007 hasConceptScore W2180072007C169590947 @default.
• W2180072007 hasConceptScore W2180072007C180699724 @default.
• W2180072007 hasConceptScore W2180072007C184337299 @default.
• W2180072007 hasConceptScore W2180072007C199360897 @default.
• W2180072007 hasConceptScore W2180072007C2780940931 @default.
• W2180072007 hasConceptScore W2180072007C41008148 @default.
• W2180072007 hasConceptScore W2180072007C41138395 @default.
• W2180072007 hasConceptScore W2180072007C558565934 @default.
• W2180072007 hasConceptScore W2180072007C73301696 @default.
• W2180072007 hasLocation W21800720071 @default.
• W2180072007 hasOpenAccess W2180072007 @default.
• W2180072007 hasPrimaryLocation W21800720071 @default.
• W2180072007 hasRelatedWork W1539795027 @default.
• W2180072007 hasRelatedWork W1553737443 @default.
• W2180072007 hasRelatedWork W190579303 @default.
• W2180072007 hasRelatedWork W2010426824 @default.
• W2180072007 hasRelatedWork W2031087827 @default.
• W2180072007 hasRelatedWork W2090521406 @default.
• W2180072007 hasRelatedWork W2116206868 @default.
• W2180072007 hasRelatedWork W2188276912 @default.
• W2180072007 hasRelatedWork W2260464901 @default.
• W2180072007 hasRelatedWork W2417154951 @default.
• W2180072007 hasRelatedWork W2552119404 @default.
• W2180072007 hasRelatedWork W2616468197 @default.
• W2180072007 hasRelatedWork W2752700320 @default.
• W2180072007 hasRelatedWork W2756128776 @default.
• W2180072007 hasRelatedWork W2894558252 @default.
• W2180072007 hasRelatedWork W3152282252 @default.
• W2180072007 hasRelatedWork W3209742351 @default.

• next