Abstract. Concurrent constraint programming (ccp) is a well-established model for concurrency. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, however, is not completely satisfactory for ccp since it yields an equivalence that is too fine grained. By building upon recent foundational investigations, we introduce a labelled transition semantics and a novel notion of bisimilarity that is fully abstract w.r.t. the typical observational equivalence in ccp.
Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, called the store. Bisimilarity is a standard behavioural equivalence in concurrency theory, but a well-behaved notion of bisimilarity for ccp has been proposed only recently. When the state space of a system is finite, the ordinary notion of bisimilarity can be computed via the well-known partition refinement algorithm, but unfortunately, this algorithm does not work for ccp bisimilarity.In this paper, we propose a variation of the partition refinement algorithm for verifying ccp bisimilarity. To the best of our knowledge this is the first work providing for the automatic verification of program equivalence for ccp.
Concurrent constraint programming (CCP) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial) information in a global medium. Bisimilarity is a standard behavioral equivalence in concurrency theory. However, only recently a well-behaved notion of bisimilarity for CCP, and a CCP partition refinement algorithm for deciding the strong version of this equivalence have been proposed. Weak bisimilarity is a central behavioral equivalence in process calculi and it is obtained from the strong case by taking into account only the actions that are observable in the system. Typically, the standard partition refinement can also be used for deciding weak bisimilarity simply by using Milner's reduction from weak to strong bisimilarity; a technique referred to as saturation. In this paper we demonstrate that, because of its involved labeled transitions, the above-mentioned saturation technique does not work for CCP. We give an alternative reduction from weak CCP bisimilarity to the strong one that allows us to use the CCP partition refinement algorithm for deciding this equivalence
Fecal-orally transmitted cyclosporiasis is frequent in remote resource-limited settings in Central and South America with poor hygiene conditions. In this study, we aimed at assessing seasonal effects on the epidemiology of colonization or infection with C. cayetanensis in Colombian indigenous people living under very restricted conditions. In the rainy season between July and November and in the dry season between January and April, stool samples from indigenous people with and without gastrointestinal symptoms were collected and screened for C. cayetanensis applying in-house real-time polymerase chain reaction (PCR). In the rainy season and in the dry season, positive PCR results were observed for 11.8% (16/136) and 5.1% (15/292), respectively, with cycle threshold (Ct) values of 30.6 (±3.4) and 34.4 (±1.6), respectively. Despite higher parasite loads in the rainy season, fewer individuals (2/16, 12.5%) reported gastrointestinal symptoms compared to the dry season (6/15, 40%). In conclusion, considerable prevalence of C. cayetanensis in Colombian indigenous people persists in the dry season. Low proportions of gastrointestinal symptoms along with higher parasite loads make colonization likely rather than infection.
Enteric pathogens, which are frequently food- and waterborne transmitted, are highly abundant in Indigenous people living in remote rural areas of Colombia. As the frequency of gastroenteritis in the tropics shows seasonal differences, we analyzed variations of pathogen patterns in the stool samples of a Colombian Indigenous tribe called Wiwa during the dry (n = 105) and the rainy (n = 227) season, applying real-time PCR from stool samples and statistical analysis based on a multi-variable model. Focusing on bacterial pathogens, increased detection rates could be confirmed for enteropathogenic, enterotoxigenic and enteroaggregative Escherichia coli with a tendency for an increase in Campylobacter jejuni detections during the rainy season, while there was no seasonal effect on the carriage of Tropheryma whipplei. Salmonellae were recorded during the rainy season only. A differentiated pattern was seen for the assessed parasites. Entamoeba histolytica, Necator americanus and Trichuris trichiura were increasingly detected during the rainy season, but not Ascaris lumbricoides, Giardia duodenalis, Hymenolepis nana, Strongyloides stercoralis, and Taenia solium, respectively. Increased detection rates during the dry season were not recorded. Negative associations were found for Campylobacter jejuni and Giardia duodenalis with age and for Tropheryma whipplei with the body mass index, respectively. Positive associations of enteropathogenic Escherichia coli and Taenia solium detections were observed with age. In conclusion, facilitating effects of the tropical rainy season were more pronounced on bacterial enteric pathogens compared to enteropathogenic parasites.
Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial) information in a global medium. Bisimilarity is a standard behavioural equivalence in concurrency theory. However, only recently a well-behaved notion of bisimilarity for ccp, and a ccp partition refinement algorithm for deciding the strong version of this equivalence have been proposed. Weak bisimiliarity is a central behavioural equivalence in process calculi and it is obtained from the strong case by taking into account only the actions that are observable in the system. Typically, the standard partition refinement can also be used for deciding weak bisimilarity simply by using Milner's reduction from weak to strong bisimilarity; a technique referred to as saturation.In this paper we demonstrate that, because of its involved labeled transitions, the above-mentioned saturation technique does not work for ccp. We give an alternative reduction from weak ccp bisimilarity to the strong one that allows us to use the ccp partition refinement algorithm for deciding this equivalence.
The growing importance of astrocytes in the field of neuroscience has led to a greater number of computational models devoted to the study of astrocytic functions and their metabolic interactions with neurons. The modeling of these interactions demands a combined understanding of brain physiology and the development of computational frameworks based on genomic-scale reconstructions, system biology, and dynamic models. These computational approaches have helped to highlight the neuroprotective mechanisms triggered by astrocytes and other glial cells, both under normal conditions and during neurodegenerative processes. In the present review, we evaluate some of the most relevant models of astrocyte metabolism, including genome-scale reconstructions and astrocyte-neuron interactions developed in the last few years. Additionally, we discuss novel strategies from the multi-omics perspective and computational models of other glial cell types that will increase our knowledge in brain metabolism and its association with neurodegenerative diseases.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
334 Leonard St
Brooklyn, NY 11211
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.