Showing 1–2 of 2 results for author: Dogguy, M

On affine usages in signal-based communication

Authors: Roberto Amadio, Mehdi Dogguy

Abstract: We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic. We describe a type system for a synchronous pi-calculus formalising the notion of affine usage in signal-based communication. In particular, we identify a limited number of usages that preserve affinity and that can be composed. As a main application of the resulting system, we show that typable programs are deterministic. △ Less

Submitted 3 September, 2008; v1 submitted 10 April, 2008; originally announced April 2008.

Journal ref: Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, France (2008)

Determinacy in a synchronous pi-calculus

Authors: Roberto Amadio, Mehdi Dogguy

Abstract: The S-pi-calculus is a synchronous pi-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant. In the present work, we present and characterise a compositional semantics of the S-pi-calculus based on suitable notions of labelled transition system and bisimulation.… ▽ More The S-pi-calculus is a synchronous pi-calculus which is based on the SL model. The latter is a relaxation of the Esterel model where the reaction to the absence of a signal within an instant can only happen at the next instant. In the present work, we present and characterise a compositional semantics of the S-pi-calculus based on suitable notions of labelled transition system and bisimulation. Based on this semantic framework, we explore the notion of determinacy and the related one of (local) confluence. △ Less

Submitted 11 February, 2008; v1 submitted 4 July, 2007; originally announced July 2007.

Comments: To appear in the book `From semantics to computer science: essays in honor of Gilles Kahn', Cambridge University Press

Journal ref: From semantics to computer science: essays in honor of Gilles Kahn, Y. Bertot et al. (Ed.) (2009) 1-27