E-LIB Suche - Ergebnisse für: Ivan Lanese

1

On Formal Choreographic Modelling: A Case Study in EU Busin..:

Alex Coto ; Franco Barbanera ; Ivan Lanese..
ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}. , 2022

Link: https://hdl.handle.net/1..

2

A General Approach to Derive Uncontrolled Reversible Semant..:

Ivan Lanese ; Doriana Medic
ispartofbook:31st International Conference on Concurrency Theory, {CONCUR} 2020. , 2020

Link: https://hdl.handle.net/2..

3

Foundations of Reversible Computation:

Bogdan Aman ; Gabriel Ciobanu ; Robert Gl(...
info:eu-repo/semantics/altIdentifier/isbn/978-3-030-47361-7. , 2020

Link: http://hdl.handle.net/11..

4

The Servers of Serverless Computing: A Formal Revisitation ..:

Saverio Giallorenzo ; Ivan Lanese ; Fabrizio Montesi..
info:eu-repo/semantics/altIdentifier/isbn/978-3-95977-171-9. , 2020

Link: http://hdl.handle.net/11..

5

An Axiomatic Approach to Reversible Computation:

Ivan Lanese ; Iain Phillips ; Irek Ulidowski
url:https://www.openaccessrepository.it/communities/itmirror. , 2019

Link: https://www.openaccessre..

6

Static versus dynamic reversibility in CCS:

Ivan Lanese ; Doriana Medic ; Claudio Antares Mezzina
info:eu-repo/semantics/altIdentifier/wos/WOS:000494792800001. , 2019

Link: https://hdl.handle.net/2..

7

Dynamic Choreographies: Theory And Implementation:

Mila Dalla Preda ; Maurizio Gabbrielli ; Saverio Giallorenzo..
https://lmcs.episciences.org/3263/pdf. , 2017

Link: https://doi.org/10.23638..

8

A Modular Formalization of Reversibility for Concurrent Mod..:

Alexis Bernadet ; Ivan Lanese
http://arxiv.org/pdf/1608.03325v1. , 2016

Link: https://doi.org/10.4204/..

9

Retractable Contracts:

Franco Barbanera ; Mariangiola Dezani-Ciancaglini ; Ivan Lanese.
http://arxiv.org/pdf/1602.03595v1. , 2016

Link: https://doi.org/10.4204/..

10

Foundations of session types and behavioural contracts:

Hans Hüttel ; Ivan Lanese ; Vasco T. Vasconcelos...
info:eu-repo/semantics/altIdentifier/wos/WOS:000382136100003. , 2016

Link: http://hdl.handle.net/23..

11

Developing correct, distributed, adaptive software:

DALLA PREDA, Mila ; Maiurizio Gabbrielli ; Saverio Giallorenzo..
info:eu-repo/semantics/altIdentifier/wos/WOS:000345725100008. , 2015

Link: http://hdl.handle.net/11..

12

Dynamic Choreographies Safe Runtime Updates of Distributed ..:

DALLA PREDA, Mila ; Maurizio Gabbrielli ; Saverio Giallorenzo..
info:eu-repo/semantics/altIdentifier/isbn/978-331919281-9. , 2015

Link: http://hdl.handle.net/11..

13

AIOCJ: A Choreographic Framework for Safe Adaptive Distribu..:

DALLA PREDA, Mila ; Saverio Giallorenzo ; Ivan Lanese..
info:eu-repo/semantics/altIdentifier/isbn/9783319112442. , 2014

Link: http://hdl.handle.net/11..

14

Amending Choreographies:

Ivan Lanese ; Fabrizio Montesi ; Gianluigi Zavattaro
http://arxiv.org/pdf/1308.0390v1. , 2013

Link: https://doi.org/10.4204/..

15

Disciplining Orchestration and Conversation in Service-Orie..:

Ivan Lanese ; Vasco T. Vasconcelos ; Francisco Martins.
http://hdl.handle.net/10451/14470. , 2010

Link: http://hdl.handle.net/10..