Modelling an Ammonium Transporter with SCLS (2009)
Coppo, Mario, Damiani, Ferruccio, Grassi, Elena, Guether, Mike, Troina, Angelo
The Stochastic Calculus of Looping Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim...
The M³ Paradigm - Types and Type Inference for Ambient and Process Mobility (2008)
Mario Coppo, Mariangiola Dezani-ciancaglini, Elio Giovannetti
A new kind of ambient calculi is presented, where the open capability is replaced by direct mobility of naked processes, while the associated type systems are algorithmic in the sense that they...
Incremental Inference of Partial Types (2007)
Mario Coppo, Daniel Hirschkoff, Daniel Hirschkoff
We present a type inference procedure for partial types for a calculus equipped with datatypes. Our procedure handles a type languages containing greatest and lesser types (! and ? respectively),...
Dynamic and Local Typing for Mobile Ambients (2004)
Mario Coppo, Mariangiola Dezani-ciancaglini, Elio Giovannetti, Rosario Pugliese
An ambient calculus with both static and dynamic types is presented, where the latter ones represent mobility and access rights that may be dynamically consumed and acquired in a controlled way....