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

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

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

2

Reversibility with Holes: (Work in Progress):

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

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 69-74 , 2024

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

3

An Axiomatic Theory for Reversible Computation:

Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
ACM Transactions on Computational Logic. 25 (2024) 2 - p. 1-40 , 2024

Link: https://doi.org/10.1145/..

4

Choreographic Automata: A Case Study in Healthcare Manageme..:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Pal, Sourabh ; Lanese, Ivan ; Clo, Massimo - p. 3-19 , 2024

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

5

Causal Debugging for Concurrent Systems:

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

Lanese, Ivan ; Gössler, Gregor - p. 3-9 , 2024

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

6

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/..

7

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100890 , 2023

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

8

Towards a Taxonomy for Reversible Computation Approaches:

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

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares... - p. 24-39 , 2023

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

9

Causal Reversibility Implies Time Reversibility:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea... - p. 270-287 , 2023

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

10

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

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

11

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023. , 2023

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

12

Towards a Taxonomy for Reversible Computation Approaches:

Glück, Robert ; Lanese, Ivan ; Mezzina, Claudio Antares...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-38100-3_3. , 2023

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

13

A Behavioral Theory For Crash Failures and Erlang-style Rec..:

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard
Report N°: RR-9511. , 2023

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

14

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890. , 2023

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

15

The Reversible Temporal Process Language:

Bocchi Laura ; Lanese Ivan ; Mezzina Claudio.
info:eu-repo/grantAgreement/RCUK/EPSRC/EP/T014512/1/. , 2023

Link: https://zenodo.org/recor..