FRINK Linked Data Fragments server

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

• W1569001256 endingPage "345" @default.
• W1569001256 startingPage "329" @default.
• W1569001256 abstract "Communicating Sequential Processes (CSP) was developed around a for- mal algebra of processes and a semantics based on traces (and failures and diver- gences). A trace is a record of the events engaged in by a process. Several program- ming languages use, or have libraries to use, CSP mechanisms to manage their con- currency. Most of these lack the facility to record the trace of a program. A standard trace is a flat list of events but structured trace models are possible that can provide more information such as the independent or concurrent engagement of the process in some of its events. One such trace model is View-Centric Reasoning (VCR), which offers an additional model of tracing, taking into account the multiple, possibly imper- fect views of a concurrent computation. This paper also introduces structural traces, a new type of trace that reflects the nested parallelism in a CSP system. The paper describes the automated generation of these three trace types in the Communicating Haskell Processes (CHP) library, using techniques which could easily be applied in other libraries such as JCSP and C++CSP2. The ability to present such traces of a concurrent program assists in understanding the behaviour of real CHP programs and for debugging when the trace behaviours are wrong. These ideas and tools promote a deeper understanding of the association between practicalities of real systems soft- ware and the underlying CSP formalism." @default.
• W1569001256 created "2016-06-24" @default.
• W1569001256 creator A5043448756 @default.
• W1569001256 creator A5056326360 @default.
• W1569001256 date "2008-09-01" @default.
• W1569001256 modified "2023-09-23" @default.
• W1569001256 title "Representation and Implementation of CSP and VCR Traces" @default.
• W1569001256 cites W1482270525 @default.
• W1569001256 cites W1561267729 @default.
• W1569001256 cites W1597755753 @default.
• W1569001256 cites W1772808011 @default.
• W1569001256 cites W1780296805 @default.
• W1569001256 cites W1976570600 @default.
• W1569001256 cites W2024717440 @default.
• W1569001256 cites W2042796775 @default.
• W1569001256 cites W2106681500 @default.
• W1569001256 cites W2113355185 @default.
• W1569001256 cites W2123401374 @default.
• W1569001256 cites W2129384397 @default.
• W1569001256 cites W2129990308 @default.
• W1569001256 cites W2133124698 @default.
• W1569001256 cites W2150320481 @default.
• W1569001256 cites W2161224119 @default.
• W1569001256 cites W2162835489 @default.
• W1569001256 cites W2170710512 @default.
• W1569001256 cites W2171044556 @default.
• W1569001256 cites W2505960745 @default.
• W1569001256 cites W2912084748 @default.
• W1569001256 cites W3137220996 @default.
• W1569001256 cites W3144368627 @default.
• W1569001256 cites W39351959 @default.
• W1569001256 cites W2116746874 @default.
• W1569001256 doi "https://doi.org/10.3233/978-1-58603-907-3-329" @default.
• W1569001256 hasPublicationYear "2008" @default.
• W1569001256 type Work @default.
• W1569001256 sameAs 1569001256 @default.
• W1569001256 citedByCount "5" @default.
• W1569001256 countsByYear W15690012562012 @default.
• W1569001256 crossrefType "proceedings-article" @default.
• W1569001256 hasAuthorship W1569001256A5043448756 @default.
• W1569001256 hasAuthorship W1569001256A5056326360 @default.
• W1569001256 hasConcept C138673069 @default.
• W1569001256 hasConcept C138885662 @default.
• W1569001256 hasConcept C142362112 @default.
• W1569001256 hasConcept C153349607 @default.
• W1569001256 hasConcept C155214134 @default.
• W1569001256 hasConcept C156325763 @default.
• W1569001256 hasConcept C161771561 @default.
• W1569001256 hasConcept C168065819 @default.
• W1569001256 hasConcept C184337299 @default.
• W1569001256 hasConcept C199360897 @default.
• W1569001256 hasConcept C2780624054 @default.
• W1569001256 hasConcept C41008148 @default.
• W1569001256 hasConcept C41895202 @default.
• W1569001256 hasConcept C42383842 @default.
• W1569001256 hasConcept C558565934 @default.
• W1569001256 hasConcept C73301696 @default.
• W1569001256 hasConcept C75291252 @default.
• W1569001256 hasConcept C80444323 @default.
• W1569001256 hasConcept C98045186 @default.
• W1569001256 hasConceptScore W1569001256C138673069 @default.
• W1569001256 hasConceptScore W1569001256C138885662 @default.
• W1569001256 hasConceptScore W1569001256C142362112 @default.
• W1569001256 hasConceptScore W1569001256C153349607 @default.
• W1569001256 hasConceptScore W1569001256C155214134 @default.
• W1569001256 hasConceptScore W1569001256C156325763 @default.
• W1569001256 hasConceptScore W1569001256C161771561 @default.
• W1569001256 hasConceptScore W1569001256C168065819 @default.
• W1569001256 hasConceptScore W1569001256C184337299 @default.
• W1569001256 hasConceptScore W1569001256C199360897 @default.
• W1569001256 hasConceptScore W1569001256C2780624054 @default.
• W1569001256 hasConceptScore W1569001256C41008148 @default.
• W1569001256 hasConceptScore W1569001256C41895202 @default.
• W1569001256 hasConceptScore W1569001256C42383842 @default.
• W1569001256 hasConceptScore W1569001256C558565934 @default.
• W1569001256 hasConceptScore W1569001256C73301696 @default.
• W1569001256 hasConceptScore W1569001256C75291252 @default.
• W1569001256 hasConceptScore W1569001256C80444323 @default.
• W1569001256 hasConceptScore W1569001256C98045186 @default.
• W1569001256 hasLocation W15690012561 @default.
• W1569001256 hasOpenAccess W1569001256 @default.
• W1569001256 hasPrimaryLocation W15690012561 @default.
• W1569001256 hasRelatedWork W127303287 @default.
• W1569001256 hasRelatedWork W1588258097 @default.
• W1569001256 hasRelatedWork W1592355214 @default.
• W1569001256 hasRelatedWork W1971246280 @default.
• W1569001256 hasRelatedWork W2064503724 @default.
• W1569001256 hasRelatedWork W2069768096 @default.
• W1569001256 hasRelatedWork W2075663841 @default.
• W1569001256 hasRelatedWork W2114956563 @default.
• W1569001256 hasRelatedWork W2121191807 @default.
• W1569001256 hasRelatedWork W2123645908 @default.
• W1569001256 hasRelatedWork W2129384397 @default.
• W1569001256 hasRelatedWork W2162669339 @default.
• W1569001256 hasRelatedWork W229380750 @default.
• W1569001256 hasRelatedWork W2341514391 @default.
• W1569001256 hasRelatedWork W2475154871 @default.
• W1569001256 hasRelatedWork W2778176582 @default.

• next