Search filters

List of works by Ivan Lanese

A theory of reversibility for Erlang

article

CauDEr: A Causal-Consistent Reversible Debugger for Erlang

article

Graceful Interruption of Request-Response Service Interactions

scientific article published in 2011

On the Expressiveness and Decidability of Higher-Order Process Calculi

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

article by Ivan Lanese et al published 2010 in Lecture Notes in Computer Science

On the expressiveness and decidability of higher-order process calculi

article published in 2011

Tools and Verification

scientific article published in 2011

Paulina is supported by:

About Paulina

Help