Results 41 to 50 of about 1,138,378 (107)
Independence and concurrent separation logic [PDF]
Logical Methods in Computer Science, 2008 A compositional Petri net-based semantics is given to a simple language allowing pointer manipulation and parallelism. The model is then applied to give a notion of validity to the judgements made by concurrent separation logic that emphasizes the ...
Jonathan Hayman, Glynn Winskel
doaj +1 more source
Build your own clarithmetic II: Soundness [PDF]
Logical Methods in Computer Science, 2017 Clarithmetics are number theories based on computability logic (see http://www.csc.villanova.edu/~japaridz/CL/ ). Formulas of these theories represent interactive computational problems, and their "truth" is understood as existence of an algorithmic ...
Giorgi Japaridze
doaj +1 more source
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields [PDF]
Logical Methods in Computer Science, 2017 Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to ...
Alberto Lluch Lafuente +2 more
doaj +1 more source
Multiparty Session Actors [PDF]
Logical Methods in Computer Science, 2017 Actor coordination armoured with a suitable protocol description language has been a pressing problem in the actors community. We study the applicability of multiparty session type (MPST) protocols for verification of actor programs.
Rumyana Neykova, Nobuko Yoshida
doaj +1 more source
Automata for Specifying and Orchestrating Service Contracts [PDF]
Logical Methods in Computer Science, 2017 An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall ...
Davide Basile +2 more
doaj +1 more source
Noncomputable functions in the Blum-Shub-Smale model [PDF]
Logical Methods in Computer Science, 2011 Working in the Blum-Shub-Smale model of computation on the real numbers, we answer several questions of Meer and Ziegler. First, we show that, for each natural number d, an oracle for the set of algebraic real numbers of degree at most d is insufficient ...
Wesley Calvert +2 more
doaj +1 more source
Antichains for the Automata-Based Approach to Model-Checking [PDF]
Logical Methods in Computer Science, 2009 We propose and evaluate antichain algorithms to solve the universality and language inclusion problems for nondeterministic Buechi automata, and the emptiness problem for alternating Buechi automata. To obtain those algorithms, we establish the existence
Laurent Doyen, Jean-Francois Raskin
doaj +1 more source
Cardiovascular Diabetology, 2023 Background Similarly to cortisol-secreting adrenal tumors, also non-functioning adrenal tumors (NFAT) may be associated with an increased cardiovascular risk. We assessed in NFAT patients: (i) the association between hypertension (HT), diabetes mellitus (
Vittoria Favero +11 more
doaj +1 more source
From formulas to cirquents in computability logic [PDF]
Logical Methods in Computer Science, 2011 Computability logic (CoL) (see http://www.cis.upenn.edu/~giorgi/cl.html) is a recently introduced semantical platform and ambitious program for redeveloping logic as a formal theory of computability, as opposed to the formal theory of truth that logic ...
Giorgi Japaridze
doaj +1 more source
Exploring the imaging features and treatment options of Mirizzi syndrome
Radiology Case Reports, 2023 The patient is a 54-year-old female who presented to the emergency department for episodic right biliary colic with nausea and vomiting over the past year.
Razi Haq, MD +2 more
doaj +1 more source