Results 21 to 30 of about 10,135 (101)
Explicit fairness in testing semantics [PDF]
, 2009 In this paper we investigate fair computations in the pi-calculus. Following Costa and Stirling's approach for CCS-like languages, we consider a method to label process actions in order to filter out unfair computations.
Catuscia Palamidessi +6 more
core +4 more sources
On the Expressiveness of Pure Safe Ambients [PDF]
, 2002 We consider the Pure Safe Ambient Calculus, which is Levi and Sangiorgi's Safe Ambient Calculus (a variant of Cardelli and Gordon's Mobile Ambient Calculus) restricted to its mobility primitives, and we focus on its expressiv- e power.
Zimmer, Pascal
core +2 more sources
Computational Modeling for the Activation Cycle of G-proteins by G-protein-coupled Receptors
, 2010 In this paper, we survey five different computational modeling methods. For comparison, we use the activation cycle of G-proteins that regulate cellular signaling events downstream of G-protein-coupled receptors (GPCRs) as a driving example.
Adriana Compagnoni +33 more
core +2 more sources
Comparing the expressive power of the Synchronous and the Asynchronous pi-calculus
, 1997 The Asynchronous pi-calculus, as recently proposed by Boudol and, independently, by Honda and Tokoro, is a subset of the pi-calculus which contains no explicit operators for choice and output-prefixing.
Palamidessi, Catuscia
core +3 more sources
Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks
, 2013 Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements.
Glesner, Sabine, Gruhn, Helena
core +2 more sources
A theorem-proving approach to deciding properties of finite control agents [PDF]
, 1996 The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem ...
Franzén, Torkel
core +1 more source
A Decidable Characterization of a Graphical Pi-calculus with Iterators
, 2010 This paper presents the Pi-graphs, a visual paradigm for the modelling and verification of mobile systems. The language is a graphical variant of the Pi-calculus with iterators to express non-terminating behaviors.
Ahmed Rezine +21 more
core +4 more sources
Interaction and observation: categorical semantics of reactive systems trough dialgebras
, 2013 We use dialgebras, generalising both algebras and coalgebras, as a complement of the standard coalgebraic framework, aimed at describing the semantics of an interactive system by the means of reaction rules.
D. Sangiorgi +9 more
core +1 more source
Feasible reactivity in a synchronous pi-calculus [PDF]
, 2007 Reactivity is an essential property of a synchronous program. Informally, it guarantees that at each instant the program fed with an input will `react' producing an output.
Amadio, Roberto, Dabrowski, Frederique
core +3 more sources
A Stochastic Pi Calculus for Concurrent Objects
, 2007 International audienceWe present SpiCO, a new modeling and simulation language for system biology, based on the stochastic pi-calculus. SpiCO supports higher level modeling via multi-profile concurrent objects with static inheritance.
Demyashev, Gregory M. +3 more
core +1 more source