FRINK Linked Data Fragments server

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

• W2898021303 endingPage "175" @default.
• W2898021303 startingPage "138" @default.
• W2898021303 abstract "Tracing is one of the most important techniques for program understanding and debugging. A trace gives the user access to otherwise hidden information about a computation. In the context of concurrent languages, computations are particularly complex due to the non-deterministic execution order of processes and to the restrictions imposed on this order by synchronizations; hence, a tracer is a powerful tool to explore, understand and debug concurrent computations. In CSP, traces are sequences of events that define a particular execution. This notion of trace is completely different to the one used in other paradigms where traces are formed by those source code expressions evaluated during a particular execution. We refer to this second notion of traces as tracks. In this work, we introduce the theoretical basis for tracking concurrent and explicitly synchronized computations in process algebras such as CSP. Tracking computations in this kind of systems is a difficult task due to the subtleties of the underlying operational semantics which combines concurrency, non-determinism and non-termination. We define an instrumented operational semantics that generates as a side-effect an appropriate data structure (a track) which can be used to track computations. The formal definition of a tracking semantics improves the understanding of the tracking process, but also, it allows us to formally prove the correctness of the computed tracks." @default.
• W2898021303 created "2018-10-26" @default.
• W2898021303 creator A5003503212 @default.
• W2898021303 creator A5014984732 @default.
• W2898021303 creator A5016645788 @default.
• W2898021303 creator A5057653873 @default.
• W2898021303 date "2019-01-01" @default.
• W2898021303 modified "2023-10-09" @default.
• W2898021303 title "Tracking CSP computations" @default.
• W2898021303 cites W1986083235 @default.
• W2898021303 cites W2031111226 @default.
• W2898021303 cites W2043292640 @default.
• W2898021303 cites W2045886945 @default.
• W2898021303 cites W2046276743 @default.
• W2898021303 cites W2079083905 @default.
• W2898021303 cites W2094442885 @default.
• W2898021303 cites W2104703296 @default.
• W2898021303 cites W2142094035 @default.
• W2898021303 cites W2144344516 @default.
• W2898021303 cites W2153842012 @default.
• W2898021303 cites W2164839703 @default.
• W2898021303 cites W2293624369 @default.
• W2898021303 cites W4242566119 @default.
• W2898021303 doi "https://doi.org/10.1016/j.jlamp.2018.10.002" @default.
• W2898021303 hasPublicationYear "2019" @default.
• W2898021303 type Work @default.
• W2898021303 sameAs 2898021303 @default.
• W2898021303 citedByCount "2" @default.
• W2898021303 countsByYear W28980213032020 @default.
• W2898021303 countsByYear W28980213032021 @default.
• W2898021303 crossrefType "journal-article" @default.
• W2898021303 hasAuthorship W2898021303A5003503212 @default.
• W2898021303 hasAuthorship W2898021303A5014984732 @default.
• W2898021303 hasAuthorship W2898021303A5016645788 @default.
• W2898021303 hasAuthorship W2898021303A5057653873 @default.
• W2898021303 hasBestOaLocation W28980213031 @default.
• W2898021303 hasConcept C138673069 @default.
• W2898021303 hasConcept C138885662 @default.
• W2898021303 hasConcept C150495011 @default.
• W2898021303 hasConcept C151730666 @default.
• W2898021303 hasConcept C155214134 @default.
• W2898021303 hasConcept C156325763 @default.
• W2898021303 hasConcept C161771561 @default.
• W2898021303 hasConcept C162324750 @default.
• W2898021303 hasConcept C168065819 @default.
• W2898021303 hasConcept C184337299 @default.
• W2898021303 hasConcept C187736073 @default.
• W2898021303 hasConcept C193702766 @default.
• W2898021303 hasConcept C199360897 @default.
• W2898021303 hasConcept C2779343474 @default.
• W2898021303 hasConcept C2780451532 @default.
• W2898021303 hasConcept C41008148 @default.
• W2898021303 hasConcept C41895202 @default.
• W2898021303 hasConcept C45374587 @default.
• W2898021303 hasConcept C55439883 @default.
• W2898021303 hasConcept C75291252 @default.
• W2898021303 hasConcept C80444323 @default.
• W2898021303 hasConcept C86803240 @default.
• W2898021303 hasConceptScore W2898021303C138673069 @default.
• W2898021303 hasConceptScore W2898021303C138885662 @default.
• W2898021303 hasConceptScore W2898021303C150495011 @default.
• W2898021303 hasConceptScore W2898021303C151730666 @default.
• W2898021303 hasConceptScore W2898021303C155214134 @default.
• W2898021303 hasConceptScore W2898021303C156325763 @default.
• W2898021303 hasConceptScore W2898021303C161771561 @default.
• W2898021303 hasConceptScore W2898021303C162324750 @default.
• W2898021303 hasConceptScore W2898021303C168065819 @default.
• W2898021303 hasConceptScore W2898021303C184337299 @default.
• W2898021303 hasConceptScore W2898021303C187736073 @default.
• W2898021303 hasConceptScore W2898021303C193702766 @default.
• W2898021303 hasConceptScore W2898021303C199360897 @default.
• W2898021303 hasConceptScore W2898021303C2779343474 @default.
• W2898021303 hasConceptScore W2898021303C2780451532 @default.
• W2898021303 hasConceptScore W2898021303C41008148 @default.
• W2898021303 hasConceptScore W2898021303C41895202 @default.
• W2898021303 hasConceptScore W2898021303C45374587 @default.
• W2898021303 hasConceptScore W2898021303C55439883 @default.
• W2898021303 hasConceptScore W2898021303C75291252 @default.
• W2898021303 hasConceptScore W2898021303C80444323 @default.
• W2898021303 hasConceptScore W2898021303C86803240 @default.
• W2898021303 hasFunder F4320321864 @default.
• W2898021303 hasLocation W28980213031 @default.
• W2898021303 hasLocation W28980213032 @default.
• W2898021303 hasOpenAccess W2898021303 @default.
• W2898021303 hasPrimaryLocation W28980213031 @default.
• W2898021303 hasRelatedWork W1517453792 @default.
• W2898021303 hasRelatedWork W1544359874 @default.
• W2898021303 hasRelatedWork W1545726444 @default.
• W2898021303 hasRelatedWork W1548537923 @default.
• W2898021303 hasRelatedWork W1569001256 @default.
• W2898021303 hasRelatedWork W1651447848 @default.
• W2898021303 hasRelatedWork W22766579 @default.
• W2898021303 hasRelatedWork W2367218771 @default.
• W2898021303 hasRelatedWork W2569167111 @default.
• W2898021303 hasRelatedWork W2885842066 @default.
• W2898021303 hasVolume "102" @default.
• W2898021303 isParatext "false" @default.
• W2898021303 isRetracted "false" @default.

• next