Matches in SemOpenAlex for { <https://semopenalex.org/work/W2562604231> ?p ?o ?g. }
- W2562604231 abstract "A concurrent system involves several executing components. Such a system usually allows to carry out multiple tasks at the same time, which can speed up the computational work of software substantially. The recent research findings demonstrate that process-oriented programming languages provide a suitable means for developing concurrent systems. However, design and implementation are at different levels of abstraction in software development process. It is challenging to incorporate knowledge and experience to control the consistency between these phases in developing concurrent systems. The potential inconsistencies arising would introduce errors to the production of concurrent systems, which would prove fatal to the systems in areas with zero tolerance for failure.To tackle such a challenge, the goal of this research is to propose an innovative categorical framework for designing, implementing and verifying the consistency of communications. This framework is inspired by Hoare's vision of category theory and obtained research results towards validating the vision. In this framework, Communicating Sequential Processes(CSP) and Erasmus are used for design and implementation. In addition, abstract interpretation is employed to extract process communications from implementation. Furthermore, several novel rules to analyze semantics of abstraction of implementation are proposed for Erasmus. Finally, category theory is utilized as an innovative means to model and verify consistency of process communications. The framework is illustrated by using several running examples." @default.
- W2562604231 created "2017-01-06" @default.
- W2562604231 creator A5076599775 @default.
- W2562604231 date "2016-09-14" @default.
- W2562604231 modified "2023-09-24" @default.
- W2562604231 title "A Categorical Approach to Verifying Consistency in Concurrent Systems" @default.
- W2562604231 cites W1504806070 @default.
- W2562604231 cites W1507597199 @default.
- W2562604231 cites W1540530196 @default.
- W2562604231 cites W1553894716 @default.
- W2562604231 cites W1568729458 @default.
- W2562604231 cites W1580380563 @default.
- W2562604231 cites W1852477053 @default.
- W2562604231 cites W187781385 @default.
- W2562604231 cites W2000030459 @default.
- W2562604231 cites W2007944417 @default.
- W2562604231 cites W2010822264 @default.
- W2562604231 cites W2015368796 @default.
- W2562604231 cites W2021257181 @default.
- W2562604231 cites W2022442264 @default.
- W2562604231 cites W2031525781 @default.
- W2562604231 cites W2039317558 @default.
- W2562604231 cites W2039549168 @default.
- W2562604231 cites W2054961017 @default.
- W2562604231 cites W2069300761 @default.
- W2562604231 cites W2084875723 @default.
- W2562604231 cites W2096303019 @default.
- W2562604231 cites W2101431901 @default.
- W2562604231 cites W2102626454 @default.
- W2562604231 cites W2123804192 @default.
- W2562604231 cites W2128510433 @default.
- W2562604231 cites W2133977074 @default.
- W2562604231 cites W2157985692 @default.
- W2562604231 cites W2173961470 @default.
- W2562604231 cites W2258725393 @default.
- W2562604231 cites W2798613517 @default.
- W2562604231 cites W2913459036 @default.
- W2562604231 cites W31195832 @default.
- W2562604231 cites W3137220996 @default.
- W2562604231 cites W3144368627 @default.
- W2562604231 cites W3146075203 @default.
- W2562604231 cites W50304696 @default.
- W2562604231 cites W564565420 @default.
- W2562604231 cites W114136395 @default.
- W2562604231 hasPublicationYear "2016" @default.
- W2562604231 type Work @default.
- W2562604231 sameAs 2562604231 @default.
- W2562604231 citedByCount "0" @default.
- W2562604231 crossrefType "dissertation" @default.
- W2562604231 hasAuthorship W2562604231A5076599775 @default.
- W2562604231 hasConcept C111472728 @default.
- W2562604231 hasConcept C115903868 @default.
- W2562604231 hasConcept C119857082 @default.
- W2562604231 hasConcept C120314980 @default.
- W2562604231 hasConcept C124304363 @default.
- W2562604231 hasConcept C138885662 @default.
- W2562604231 hasConcept C154945302 @default.
- W2562604231 hasConcept C155214134 @default.
- W2562604231 hasConcept C156325763 @default.
- W2562604231 hasConcept C159023740 @default.
- W2562604231 hasConcept C184337299 @default.
- W2562604231 hasConcept C199360897 @default.
- W2562604231 hasConcept C2776436953 @default.
- W2562604231 hasConcept C2777904410 @default.
- W2562604231 hasConcept C41008148 @default.
- W2562604231 hasConcept C5274069 @default.
- W2562604231 hasConcept C529173508 @default.
- W2562604231 hasConcept C98045186 @default.
- W2562604231 hasConceptScore W2562604231C111472728 @default.
- W2562604231 hasConceptScore W2562604231C115903868 @default.
- W2562604231 hasConceptScore W2562604231C119857082 @default.
- W2562604231 hasConceptScore W2562604231C120314980 @default.
- W2562604231 hasConceptScore W2562604231C124304363 @default.
- W2562604231 hasConceptScore W2562604231C138885662 @default.
- W2562604231 hasConceptScore W2562604231C154945302 @default.
- W2562604231 hasConceptScore W2562604231C155214134 @default.
- W2562604231 hasConceptScore W2562604231C156325763 @default.
- W2562604231 hasConceptScore W2562604231C159023740 @default.
- W2562604231 hasConceptScore W2562604231C184337299 @default.
- W2562604231 hasConceptScore W2562604231C199360897 @default.
- W2562604231 hasConceptScore W2562604231C2776436953 @default.
- W2562604231 hasConceptScore W2562604231C2777904410 @default.
- W2562604231 hasConceptScore W2562604231C41008148 @default.
- W2562604231 hasConceptScore W2562604231C5274069 @default.
- W2562604231 hasConceptScore W2562604231C529173508 @default.
- W2562604231 hasConceptScore W2562604231C98045186 @default.
- W2562604231 hasLocation W25626042311 @default.
- W2562604231 hasOpenAccess W2562604231 @default.
- W2562604231 hasPrimaryLocation W25626042311 @default.
- W2562604231 hasRelatedWork W129766367 @default.
- W2562604231 hasRelatedWork W1481303618 @default.
- W2562604231 hasRelatedWork W1502015607 @default.
- W2562604231 hasRelatedWork W1547937619 @default.
- W2562604231 hasRelatedWork W1582720900 @default.
- W2562604231 hasRelatedWork W1731278903 @default.
- W2562604231 hasRelatedWork W2008077860 @default.
- W2562604231 hasRelatedWork W2016404961 @default.
- W2562604231 hasRelatedWork W2114155702 @default.
- W2562604231 hasRelatedWork W2258731633 @default.
- W2562604231 hasRelatedWork W2336882285 @default.