output
20092022
most citedProsperity is associated with instability in dynamical networks

56 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.PLShow all

3 papers · 1 filter

cs.PL2012★ 2 cited

On the realizability of contracts in dishonest systems

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino

We develop a theory of contracting systems, where behavioural contracts may be violated by dishonest participants after they have been agreed upon - unlike in traditional approache…

cs.PL2011★ 13 cited

Contracts in distributed systems

Massimo Bartoletti, Emilio Tuosto, Roberto Zunino

We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-…

cs.PL2009★ 9 cited

An Intuitive Automated Modelling Interface for Systems Biology

Ozan Kahramanoğullari, Luca Cardelli, Emmanuelle Caron

We introduce a natural language interface for building stochastic pi calculus models of biological systems. In this language, complex constructs describing biochemical events are b…