Results 21 to 30 of about 5,002 (241)
Towards Gradually Typed Capabilities in the Pi-Calculus [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Gradual typing is an approach to integrating static and dynamic typing within the same language, and puts the programmer in control of which regions of code are type checked at compile-time and which are type checked at run-time.
Matteo Cimini
doaj +1 more source
Stateful Applied Pi Calculus [PDF]
, 2014 We extend the applied pi calculus with state cells, which are used to reason about protocols that store persistent information. Examples are protocols involving databases or hardware modules with internal state. We distinguish between private state cells, which are not available to the attacker, and public state cells, which arise when a private state ...
Arapinis, Myrto +3 more
openaire +3 more sources
Translating HOL to Dedukti [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti.
Ali Assaf, Guillaume Burel
doaj +1 more source
A Probabilistic Applied Pi–Calculus [PDF]
, 2007 We propose an extension of the Applied Pi–calculus by introducing nondeterministic and probabilistic choice operators. The semantics of the resulting model, in which probability and nondeterminism are combined, is given by Segala's Probabilistic Automata driven by schedulers which resolve the nondeterministic choice among the probability distributions ...
Goubault-Larrecq, Jean +2 more
openaire +4 more sources
A Distribution Law for CCS and a New Congruence Result for the pi-calculus [PDF]
Logical Methods in Computer Science, 2008 We give an axiomatisation of strong bisimilarity on a small fragment of CCS that does not feature the sum operator. This axiomatisation is then used to derive congruence of strong bisimilarity in the finite pi-calculus in absence of sum. To our knowledge,
Daniel Hirschkoff, Damien Pous
doaj +1 more source
Clinical and Experimental Dental Research, 2023 Objectives The use of a toothbrush with radio frequency (RF) has shown to be of benefit regarding the reduction of plaque, calculus, and dental staining and improving teeth shade compared to conventional powered and manual toothbrushes.
Juan Khoury +4 more
doaj +1 more source
An Intuitive Automated Modelling Interface for Systems Biology [PDF]
Electronic Proceedings in Theoretical Computer Science, 2009 We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are built from basic primitives of association, dissociation and transformation.
Ozan Kahramanoğulları +2 more
doaj +1 more source
On the Expressiveness of Joining [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared ...
Thomas Given-Wilson, Axel Legay
doaj +1 more source
, 2000 JUCS - Journal of Universal Computer Science Volume Nr.
Ciobanu,Gabriel, Rotaru,Mihai
openaire +2 more sources
Resource Usage Analysis for the Pi-Calculus [PDF]
Logical Methods in Computer Science, 2006 We propose a type-based resource usage analysis for the π-calculus extended with resource creation/access primitives. The goal of the resource usage analysis is to statically check that a program accesses resources such as files and memory in a ...
Naoki Kobayashi +2 more
doaj +1 more source