Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151031348> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2151031348 endingPage "103" @default.
- W2151031348 startingPage "89" @default.
- W2151031348 abstract "As well as being a useful tool for formal reasoning, a trace can provide insight into a concurrent program's behaviour, especially for the purposes of run-time analysis and debugging. Long-running programs tend to produce large traces which can be difficult to comprehend and visualise. We examine the relationship between three types of traces (CSP, VCR and Structural), establish an ordering and describe methods for conversion between the trace types. Structural traces preserve the struc- ture of composition and reveal the repetition of individual processes, and are thus well-suited to visualisation. We introduce the Starving Philosophers to motivate the value of Structural traces for reasoning about behaviour not easily predicted from a program's specification. A remaining challenge is to integrate Structural traces into a more formal setting, such as the Unifying Theories of Programming - however, Struc- tural traces do provide a useful framework for analysing large systems." @default.
- W2151031348 created "2016-06-24" @default.
- W2151031348 creator A5043448756 @default.
- W2151031348 creator A5056326360 @default.
- W2151031348 date "2009-11-01" @default.
- W2151031348 modified "2023-09-24" @default.
- W2151031348 title "Relating and Visualising CSP, VCR and Structural Traces" @default.
- W2151031348 cites W1481795487 @default.
- W2151031348 cites W1483675183 @default.
- W2151031348 cites W1569001256 @default.
- W2151031348 cites W2106681500 @default.
- W2151031348 cites W2113355185 @default.
- W2151031348 cites W2129384397 @default.
- W2151031348 cites W2133124698 @default.
- W2151031348 cites W2144324706 @default.
- W2151031348 cites W3144368627 @default.
- W2151031348 cites W423485969 @default.
- W2151031348 cites W57535416 @default.
- W2151031348 doi "https://doi.org/10.3233/978-1-60750-065-0-89" @default.
- W2151031348 hasPublicationYear "2009" @default.
- W2151031348 type Work @default.
- W2151031348 sameAs 2151031348 @default.
- W2151031348 citedByCount "2" @default.
- W2151031348 countsByYear W21510313482012 @default.
- W2151031348 crossrefType "proceedings-article" @default.
- W2151031348 hasAuthorship W2151031348A5043448756 @default.
- W2151031348 hasAuthorship W2151031348A5056326360 @default.
- W2151031348 hasConcept C115903868 @default.
- W2151031348 hasConcept C138885662 @default.
- W2151031348 hasConcept C154945302 @default.
- W2151031348 hasConcept C168065819 @default.
- W2151031348 hasConcept C199360897 @default.
- W2151031348 hasConcept C36464697 @default.
- W2151031348 hasConcept C41008148 @default.
- W2151031348 hasConcept C41895202 @default.
- W2151031348 hasConcept C75291252 @default.
- W2151031348 hasConcept C80444323 @default.
- W2151031348 hasConceptScore W2151031348C115903868 @default.
- W2151031348 hasConceptScore W2151031348C138885662 @default.
- W2151031348 hasConceptScore W2151031348C154945302 @default.
- W2151031348 hasConceptScore W2151031348C168065819 @default.
- W2151031348 hasConceptScore W2151031348C199360897 @default.
- W2151031348 hasConceptScore W2151031348C36464697 @default.
- W2151031348 hasConceptScore W2151031348C41008148 @default.
- W2151031348 hasConceptScore W2151031348C41895202 @default.
- W2151031348 hasConceptScore W2151031348C75291252 @default.
- W2151031348 hasConceptScore W2151031348C80444323 @default.
- W2151031348 hasLocation W21510313481 @default.
- W2151031348 hasOpenAccess W2151031348 @default.
- W2151031348 hasPrimaryLocation W21510313481 @default.
- W2151031348 hasRelatedWork W1014690126 @default.
- W2151031348 hasRelatedWork W1588992886 @default.
- W2151031348 hasRelatedWork W1608490958 @default.
- W2151031348 hasRelatedWork W1934235886 @default.
- W2151031348 hasRelatedWork W1986117326 @default.
- W2151031348 hasRelatedWork W1988161832 @default.
- W2151031348 hasRelatedWork W2028940172 @default.
- W2151031348 hasRelatedWork W2046255944 @default.
- W2151031348 hasRelatedWork W2076168176 @default.
- W2151031348 hasRelatedWork W2113057172 @default.
- W2151031348 hasRelatedWork W2118793464 @default.
- W2151031348 hasRelatedWork W2125075710 @default.
- W2151031348 hasRelatedWork W216627714 @default.
- W2151031348 hasRelatedWork W2462072297 @default.
- W2151031348 hasRelatedWork W2551987959 @default.
- W2151031348 hasRelatedWork W2808836817 @default.
- W2151031348 hasRelatedWork W3007129910 @default.
- W2151031348 hasRelatedWork W345067333 @default.
- W2151031348 hasRelatedWork W387336269 @default.
- W2151031348 hasRelatedWork W212588424 @default.
- W2151031348 hasVolume "67" @default.
- W2151031348 isParatext "false" @default.
- W2151031348 isRetracted "false" @default.
- W2151031348 magId "2151031348" @default.
- W2151031348 workType "article" @default.