# Cosimo Laneve

According to our database1, Cosimo Laneve authored at least 90 papers between 1989 and 2019.

Collaborative distances:

Book
In proceedings
Article
PhD thesis
Other

## Bibliography

2019
Sci. Comput. Program., 2019

Time analysis of actor programs.
J. Log. Algebr. Meth. Program., 2019

Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach.
CoRR, 2019

2018
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
Static analysis of cloud elasticity.
Sci. Comput. Program., 2017

Deadlock analysis of unbounded process networks.
Inf. Comput., 2017

CoRR, 2017

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

Analysis of Synchronisations in Stateful Active Objects.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
A framework for deadlock detection in core ABS.
Software and Systems Modeling, 2016

Actors may synchronize, safely!
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Statically and Dynamically Verifiable SLA Metrics.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
An algebraic theory for web service contracts.
Formal Asp. Comput., 2015

A framework for deadlock detection in core ABS.
CoRR, 2015

Time complexity of concurrent programs.
CoRR, 2015

Static analysis of cloud elasticity.
Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014
Decidability Problems for Actor Systems.
Logical Methods in Computer Science, 2014

Deadlock Detection in Linear Recursive Programs.
Proceedings of the Formal Methods for Executable Software Models, 2014

Towards the Typing of Resource Deployment.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deadlock Analysis of Unbounded Process Networks.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013
Deadlock detection in linear recursive programs.
CoRR, 2013

Engineering virtualized services.
Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

An Algebraic Theory for Web Service Contracts.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012
A Beginner's Guide to the DeadLock Analysis Model.
Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Decidability Problems for Actor Systems.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Reversibility in Massive Concurrent Systems.
Sci. Ann. Comp. Sci., 2011

Reversibility in Massive Concurrent Systems
CoRR, 2011

Analysis of Deadlocks in Object Groups.
Proceedings of the Formal Techniques for Distributed Systems, 2011

Reversible structures.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

2010
The Interval Analysis of Multilinear Expressions.
Electr. Notes Theor. Comput. Sci., 2010

The Expressive Power of Synchronizations.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009
PiDuce - A project for experimenting Web services technologies.
Sci. Comput. Program., 2009

From Biochemistry to Stochastic Processes.
Electr. Notes Theor. Comput. Sci., 2009

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
A simple calculus for proteins and cells.
Theor. Comput. Sci., 2008

nanoK: A calculus for the modeling and simulation of nano devices.
Theor. Comput. Sci., 2008

Expressivity in the kappa Family.
Electr. Notes Theor. Comput. Sci., 2008

The Pairing of Contracts and Session Types.
Proceedings of the Concurrency, 2008

2007
Linear forwarders.
Inf. Comput., 2007

A Simple Calculus for Proteins and Cells.
Electr. Notes Theor. Comput. Sci., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

The Must Preorder Revisited.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006
A Rude Contract Language for Web Services.
Electr. Notes Theor. Comput. Sci., 2006

A Formal Account of Contracts for Web Services.
Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Smooth Orchestrators.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

A Basic Contract Language for Web Services.
Proceedings of the Programming Languages and Systems, 2006

2005
web-pi at Work.
Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Foundations of Web Transactions.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

PiDuce: A Process Calculus with Native XML Datatypes.
Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

BoPi - A Distributed Machine for Experimenting Web Services Technologies.
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004
Formal molecular biology.
Theor. Comput. Sci., 2004

2003
A type system for JVM threads.
Theor. Comput. Sci., 2003

Solos In Concert.
Mathematical Structures in Computer Science, 2003

Inheritance in the join calculus.
J. Log. Algebr. Program., 2003

A Calculus for Long-Running Transactions.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Core Formal Molecular Biology.
Proceedings of the Programming Languages and Systems, 2003

Linear Forwarders.
Proceedings of the CONCUR 2003, 2003

Graphs for Core Molecular Biology.
Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002
The Fusion Machine.
Proceedings of the CONCUR 2002, 2002

Orchestrating Transactions in Join Calculus.
Proceedings of the CONCUR 2002, 2002

2001
Bisimulations in the join-calculus.
Theor. Comput. Sci., 2001

Solo Diagrams.
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

2000
Inheritance in the Join Calculus.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

lambda-calculus, multiplicities, and the pi-calculus.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999
Solos in Concert.
Proceedings of the Automata, 1999

Calculi for Concurrent Objects (Tutorial).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998
Bisimulations in the join-calculus.
Proceedings of the Programming Concepts and Methods, 1998

1997
On the Dynamics of Sharing Graphs.
Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Implicit Typing à la ML for the Join-Calculus.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996
Interaction Systems II: The Practice of Optimal Reductions.
Theor. Comput. Sci., 1996

Axiomatizing Permutation Equivalence.
Mathematical Structures in Computer Science, 1996

The Discriminating Power of Multiplicities in the Lambda-Calculus.
Inf. Comput., 1996

1995
Split and ST Bisimulation Semantics
Inf. Comput., May, 1995

Paths, Computations and Labels in the lambda-Calculus.
Theor. Comput. Sci., 1995

Termination, deadlock and divergence in the lambda-calculus with multiplicities.
Electr. Notes Theor. Comput. Sci., 1995

Comparing Lambda-calculus translations in Sharing Graphs.
Proceedings of the Typed Lambda Calculi and Applications, 1995

1994
Interaction Systems I: The Theory of Optimal Reductions.
Mathematical Structures in Computer Science, 1994

Distributive Evaluations of lambda-calculus.
Fundam. Inform., 1994

The Family Relation in Interaction Systems.
Proceedings of the Theoretical Aspects of Computer Software, 1994

Paths in the lambda-calculus
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

1993
Optimal Reductions in Interaction Systems.
Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Paths, Computations and Labels in the Lambda-Calculus.
Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

Interaction Systems.
Proceedings of the Higher-Order Algebra, 1993

1992
Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Axiomatizing Permutation Equivalence in the Lambda-Calculus.
Proceedings of the Algebraic and Logic Programming, 1992

1991
The Limit of Split_n-Bisimulations for CCS Agents.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989
An Expressive Temporal Logic for Basic LOTOS.
Proceedings of the Formal Description Techniques, 1989