E-LIB Suche - Ergebnisse für: Lami, Pietro

1

A Small-Step Semantics for Janus:

, In: Reversible Computation; Lecture Notes in Computer Science,

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 105-123 , 2024

2

Reversible debugging of concurrent Erlang programs: Support..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
Journal of Logical and Algebraic Methods in Programming. 138 (2024) - p. 100944 , 2024

Link: https://doi.org/10.1016/..

3

Reversibility in Erlang: Imperative Constructs:

, In: Reversible Computation; Lecture Notes in Computer Science,

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard.. - p. 187-203 , 2022

Link: https://doi.org/10.1007/..

4

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372. , 2022

Link: https://hal.science/hal-..

5

Reversibility in Erlang: Imperative Constructs:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-09005-9_13. , 2022

Link: https://inria.hal.scienc..

6

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372. , 2022

Link: https://hal.science/hal-..

7

Reversibility in Erlang: Imperative Constructs:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-09005-9_13. , 2022

Link: https://inria.hal.scienc..

8

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372. , 2022

Link: https://hal.science/hal-..

9

Reversibility in Erlang: Imperative Constructs:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-09005-9_13. , 2022

Link: https://inria.hal.scienc..

10

Reversibility in Erlang: Imperative Constructs:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-09005-9_13. , 2022

Link: https://inria.hal.scienc..

11

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372. , 2022

Link: https://hal.science/hal-..

12

Reversibility in Erlang: Imperative Constructs -Technical R..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
hal-03655372. , 2022

Link: https://hal.science/hal-..

13

Estensione di un debugger reversibile per Erlang con featur..:

Lami, Pietro
http://amslaurea.unibo.it/22157/1/Tesi.pdf. , 2020

Link: http://amslaurea.unibo.i..

14

Verso la convergenza tra Operational Transformation e Chang..:

Lami, Pietro
http://amslaurea.unibo.it/16813/1/Verso%20la%20convergenza%20tra%20Operational%20Transformation%20e%20Change%20Tracking.pdf. , 2018

Link: http://amslaurea.unibo.i..

15

Biodiversity-Centric Habitat Networks for Green Infrastruct..:

Lami, Francesco ; Boscutti, Francesco ; Peccol, Elisabetta...
Sustainability. 16 (2024) 9 - p. 3604 , 2024

Link: https://doi.org/10.3390/..