#### Filter Results:

- Full text PDF available (76)

#### Publication Year

1989

2017

- This year (3)
- Last 5 years (20)
- Last 10 years (43)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Vincent Danos, Cosimo Laneve
- Theor. Comput. Sci.
- 2004

A language of formal proteins, the κ-calculus, is introduced. Interactions are modeled at the domain level, bonds are represented by means of shared names, and reactions are required to satisfy a causality requirement ofmonotonicity. An example of a simplified signalling pathway is introduced to illustrate how standard biological events can be expressed in… (More)

- Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
- FMOODS
- 2003

- Cosimo Laneve, Björn Victor
- ICALP
- 1999

We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators.

- Cosimo Laneve, Gianluigi Zavattaro
- FoSSaCS
- 2005

A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds asynchronously at the network level, while it is constrained by the local urgency at the process level. Namely process reductions cannot be delayed to favour idle steps. The extensional… (More)

- Cosimo Laneve
- Theor. Comput. Sci.
- 2003

The current de nition of the Java Bytecode Veri er, as well as the proposals to formalize it, do not include any check about consistency of critical sections (those between monitorenter and monitorexit instructions). So code is run, even if critical sections are corrupted. In this paper we isolate a sublanguage of the Java Virtual Machine with thread… (More)

- Samuele Carpineti, Giuseppe Castagna, Cosimo Laneve, Luca Padovani
- WS-FM
- 2006

We define a formal contract language along with subcontract and compliance relations. We then extrapolate contracts out of processes, that are a recursion-free fragment of ccs. We finally demonstrate that a client completes its interactions with a service provided the corresponding contracts comply. Our contract language may be used as a foundation of Web… (More)

- Cosimo Laneve
- 1994

The-calculus with multiplicities is a reenement of the lazy-calculus where the argument in an application comes with a multiplicity, which is an upper bound to the number of its uses. This introduces potential deadlocks in the evaluation. We study the discriminating power of this calculus over the usual-terms. We prove in particular that the observational… (More)

- Cosimo Laneve, Luca Padovani
- CONCUR
- 2007

We define a language for Web services contracts as a parallelfree fragment of ccs and we study a natural notion of compliance between clients and services in terms of their corresponding contracts. The induced contract preorder turns out to be valuable in searching and querying registries of Web services, it shows interesting connections with the must… (More)

- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- CONCUR
- 1997

We adapt the Damas-Milner typing discipline to the join-calculus. The main result is a new generalization criterion that extends the polymorphism of ML to join-de nitions. We prove the correctness of our typing rules with regard to a chemical semantics. We also relate typed extensions of the core join-calculus to functional languages.