Cosimo Laneve

J. Log. Algebraic Methods Program., October, 2023

Pacta sunt servanda: Legal contracts in Stipula.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2023

Resilience of Hybrid Casper Under Varying Values of Parameters.

[BibT_eX]

[DOI]

Distributed Ledger Technol. Res. Pract., 2023

Serverless Scheduling Policies based on Cost Analysis.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Trends in Configurable Systems Analysis, 2023

Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2023

Legal Contracts Amending with [inline-graphic not available: see fulltext].

[BibT_eX]

[DOI]

Alessandro Parenti

Giovanni Sartor

Proceedings of the Coordination Models and Languages, 2023

2022

Liquidity Analysis in Resource-Aware Programming.

[BibT_eX]

[DOI]

Silvia Crafa

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Programming Legal Contracts - A Beginners Guide to Stipula.

[BibT_eX]

[DOI]

Silvia Crafa

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Pacta sunt servanda: legal contracts in Stipula.

[BibT_eX]

[DOI]

Silvia Crafa

Giovanni Sartor

CoRR, 2021

2020

A Formal Analysis of the Bitcoin Protocol.

[BibT_eX]

[DOI]

Adele Veschetti

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

A lightweight deadlock analysis for programs with threads and reentrant locks.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

Time analysis of actor programs.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2019

Deadlock Analysis of Wait-Notify Coordination.

[BibT_eX]

[DOI]

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

On the Prediction of Smart Contracts' Behaviours.

[BibT_eX]

[DOI]

Claudio Sacerdoti Coen

Adele Veschetti

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

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

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, 2018

2017

Static analysis of cloud elasticity.

[BibT_eX]

[DOI]

Abel Garcia

Michael Lienhardt

Sci. Comput. Program., 2017

Deadlock analysis of unbounded process networks.

[BibT_eX]

[DOI]

Naoki Kobayashi

Inf. Comput., 2017

Deadlock Detection of Java Bytecode.

[BibT_eX]

[DOI]

Abel Garcia

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

Analysis of Synchronisations in Stateful Active Objects.

[BibT_eX]

[DOI]

Ludovic Henrio

Vincenzo Mastandrea

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A framework for deadlock detection in core ABS.

[BibT_eX]

[DOI]

Michael Lienhardt

Softw. Syst. Model., 2016

Actors may synchronize, safely!

[BibT_eX]

[DOI]

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Statically and Dynamically Verifiable SLA Metrics.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

An algebraic theory for web service contracts.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

Time complexity of concurrent programs.

[BibT_eX]

[DOI]

CoRR, 2015

Time Complexity of Concurrent Programs - - A Technique Based on Behavioural Types -.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Decidability Problems for Actor Systems.

[BibT_eX]

[DOI]

Frank S. de Boer

Mohammad Mahdi Jaghoori

Log. Methods Comput. Sci., 2014

Deadlock Detection in Linear Recursive Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Executable Software Models, 2014

Towards the Typing of Resource Deployment.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Deadlock Analysis of Unbounded Process Networks.

[BibT_eX]

[DOI]

Naoki Kobayashi

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Engineering virtualized services.

[BibT_eX]

[DOI]

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Deadlock Analysis of Concurrent Objects: Theory and Practice.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

2012

A Beginner's Guide to the DeadLock Analysis Model.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

2011

Reversibility in Massive Concurrent Systems.

[BibT_eX]

[DOI]

Luca Cardelli

Sci. Ann. Comput. Sci., 2011

Analysis of Deadlocks in Object Groups.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2011

Reversible structures.

[BibT_eX]

[DOI]

Luca Cardelli

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

2010

The Interval Analysis of Multilinear Expressions.

[BibT_eX]

[DOI]

Tudor A. Lascu

Vania Sordoni

Proceedings of the Tools for Automatic Program AnalysiS, 2010

The Expressive Power of Synchronizations.

[BibT_eX]

[DOI]

Antonio Vitale

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

PiDuce - A project for experimenting Web services technologies.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2009

From Biochemistry to Stochastic Processes.

[BibT_eX]

[DOI]

Sylvain Pradalier

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009

The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

nanoK: A calculus for the modeling and simulation of nano devices.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Expressivity in the kappa Family.

[BibT_eX]

[DOI]

Antonio Vitale

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

The Pairing of Contracts and Session Types.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2007

Linear forwarders.

[BibT_eX]

[DOI]

Philippa Gardner

Lucian Wischik

Inf. Comput., 2007

The Must Preorder Revisited.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

A Simple Calculus for Proteins and Cells.

[BibT_eX]

[DOI]

Fabien Tarissan

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

A Formal Account of Contracts for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

Smooth Orchestrators.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2006

A Basic Contract Language for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2006

2005

A Rude Contract Language for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

web-pi at Work.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

Foundations of Web Transactions.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2005

PiDuce: A Process Calculus with Native XML Datatypes.

[BibT_eX]

[DOI]

Allen L. Brown Jr.

L. Gregory Meredith

Proceedings of the Formal Techniques for Computer Systems and Business Processes, 2005

BoPi - A Distributed Machine for Experimenting Web Services Technologies.

[BibT_eX]

[DOI]

Paolo Milazzo

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Formal molecular biology.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2003

A type system for JVM threads.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Solos In Concert.

[BibT_eX]

[DOI]

Björn Victor

Math. Struct. Comput. Sci., 2003

Inheritance in the join calculus.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2003

Preface.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Concurrent Models in Molecular Biology, 2003

A Calculus for Long-Running Transactions.

[BibT_eX]

[DOI]

Laura Bocchi

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2003

Core Formal Molecular Biology.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2003

Graphs for Core Molecular Biology.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

The Fusion Machine.

[BibT_eX]

[DOI]

Philippa Gardner

Lucian Wischik

Proceedings of the CONCUR 2002, 2002

Orchestrating Transactions in Join Calculus.

[BibT_eX]

[DOI]

Roberto Bruni

Proceedings of the CONCUR 2002, 2002

2001

Bisimulations in the join-calculus.

[BibT_eX]

[DOI]

Cédric Fournet

Theor. Comput. Sci., 2001

Solo Diagrams.

[BibT_eX]

[DOI]

Joachim Parrow

Björn Victor

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

2000

lambda-calculus, multiplicities, and the pi-calculus.

[BibT_eX]

Gérard Boudol

Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000

1999

Calculi for Concurrent Objects (Tutorial).

[BibT_eX]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1998

Bisimulations in the join-calculus.

[BibT_eX]

Michele Boreale

Cédric Fournet

Proceedings of the Programming Concepts and Methods, 1998

1997

On the Dynamics of Sharing Graphs.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 24th International Colloquium, 1997

Implicit Typing à la ML for the Join-Calculus.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '97: Concurrency Theory, 1997

1996

Interaction Systems II: The Practice of Optimal Reductions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1996

Axiomatizing Permutation Equivalence.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1996

The Discriminating Power of Multiplicities in the Lambda-Calculus.

[BibT_eX]

[DOI]

Gérard Boudol

Inf. Comput., 1996

1995

Split and ST Bisimulation Semantics

[BibT_eX]

[DOI]

Roberto Gorrieri

Inf. Comput., May, 1995

Paths, Computations and Labels in the lambda-Calculus.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Termination, deadlock and divergence in the lambda-calculus with multiplicities.

[BibT_eX]

[DOI]

Gérard Boudol

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Comparing Lambda-calculus translations in Sharing Graphs.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 1995

1994

Interaction Systems I: The Theory of Optimal Reductions.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1994

Distributive Evaluations of lambda-calculus.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1994

The Family Relation in Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

Paths in the lambda-calculus

[BibT_eX]

[DOI]

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

1993

Optimal Reductions in Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

Interaction Systems.

[BibT_eX]

[DOI]

Proceedings of the Higher-Order Algebra, 1993

1992

Mobility in the CC-Paradigm.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1992, 1992

Axiomatizing Permutation Equivalence in the Lambda-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Algebraic and Logic Programming, 1992

1991

The Limit of Split_n-Bisimulations for CCS Agents.

[BibT_eX]

[DOI]

Roberto Gorrieri

Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1989

An Expressive Temporal Logic for Basic LOTOS.

[BibT_eX]

Alessandro Fantechi

Stefania Gnesi