Mobile CSP

Woodcock, Jim; Wellings, Andy; Cavalcanti, Ana

doi:10.1007/978-3-319-29473-5_3

Cited by 4 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, Woodcock et al [Wood15] present a version of mobile CSP based on the Reactive Designs formulation of UTP-CSP [CavWoo06]. In contrast, this paper contains a Reactive Processes formulation of UTP-CSP.…”

Section: Related Workmentioning

confidence: 99%

“…In contrast, this paper contains a Reactive Processes formulation of UTP-CSP. [Wood15] provides interesting examples for the application of mobility in general, and mobile CSP in particular. Renaming and hiding notably are not discussed in [Wood15].…”

Section: Related Workmentioning

confidence: 99%

“…[Wood15] provides interesting examples for the application of mobility in general, and mobile CSP in particular. Renaming and hiding notably are not discussed in [Wood15]. It would be interesting to study how channel mobility affects the link [CavWoo06, §6.2, Thrm.2, p.38] between Reactive Processes and Reactive Designs.…”

Section: Related Workmentioning

confidence: 99%

See 2 more Smart Citations

Denotational semantics of channel mobility in UTP-CSP

Ngondi

2021

Form. Asp. Comput.

View full text Add to dashboard Cite

In this paper, we present the denotational semantics for channel mobility in the Unifying Theories of Programming (UTP) semantics framework. The basis for the model is the UTP theory of reactive processes, precisely, the UTP semantics for Communicating Sequential Processes (CSP), which is extended to allow the mobility of channels—the set of channels that a process can use for communication (its interface), originally static or constant (set during the process's definition), is now made dynamic or variable: it can change during the process's execution. A channel is thus moved around by communicating it via other channels and then allowing the receiving process to extend its interface with the received channel. We introduce a new concept, the capability of a process, which allows separating the ownership of channels from the knowledge of their existence. Mobile processes are then defined as having a static capability and a dynamic interface. Operations of a mobile telecommunications network, e.g., handover, load balancing, are used to illustrate the semantics. We redefine CSP operators and in particular provide the first semantics for the renaming and hiding operators in the context of channel mobility.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Denotational semantics of channel mobility in UTP-CSP

Ngondi

2021

Form. Asp. Comput.

View full text Add to dashboard Cite

show abstract

Semantics of dynamic hiding in mobile UTP-CSP

Ngondi¹

2023

Theoretical Computer Science

View full text Add to dashboard Cite

Dissecting Digital Card Games to Yield Digital Biomarkers for the Assessment of Mild Cognitive Impairment: Methodological Approach and Exploratory Study

et al. 2021

View full text Add to dashboard Cite

Background Mild cognitive impairment (MCI), the intermediate cognitive status between normal cognitive decline and pathological decline, is an important clinical construct for signaling possible prodromes of dementia. However, this condition is underdiagnosed. To assist monitoring and screening, digital biomarkers derived from commercial off-the-shelf video games may be of interest. These games maintain player engagement over a longer period of time and support longitudinal measurements of cognitive performance. Objective This paper aims to explore how the player actions of Klondike Solitaire relate to cognitive functions and to what extent the digital biomarkers derived from these player actions are indicative of MCI. Methods First, 11 experts in the domain of cognitive impairments were asked to correlate 21 player actions to 11 cognitive functions. Expert agreement was verified through intraclass correlation, based on a 2-way, fully crossed design with type consistency. On the basis of these player actions, 23 potential digital biomarkers of performance for Klondike Solitaire were defined. Next, 23 healthy participants and 23 participants living with MCI were asked to play 3 rounds of Klondike Solitaire, which took 17 minutes on average to complete. A generalized linear mixed model analysis was conducted to explore the differences in digital biomarkers between the healthy participants and those living with MCI, while controlling for age, tablet experience, and Klondike Solitaire experience. Results All intraclass correlations for player actions and cognitive functions scored higher than 0.75, indicating good to excellent reliability. Furthermore, all player actions had, according to the experts, at least one cognitive function that was on average moderately to strongly correlated to a cognitive function. Of the 23 potential digital biomarkers, 12 (52%) were revealed by the generalized linear mixed model analysis to have sizeable effects and significance levels. The analysis indicates sensitivity of the derived digital biomarkers to MCI. Conclusions Commercial off-the-shelf games such as digital card games show potential as a complementary tool for screening and monitoring cognition. Trial Registration ClinicalTrials.gov NCT02971124; https://clinicaltrials.gov/ct2/show/NCT02971124

show abstract

Mobile CSP

Cited by 4 publications

References 18 publications

Denotational semantics of channel mobility in UTP-CSP

Denotational semantics of channel mobility in UTP-CSP

Semantics of dynamic hiding in mobile UTP-CSP

Dissecting Digital Card Games to Yield Digital Biomarkers for the Assessment of Mild Cognitive Impairment: Methodological Approach and Exploratory Study

Contact Info

Product

Resources

About