I agree that this site is using cookies. You can find further informations here.
X
Ivan Lanese
36  results:
Bookchapter (Online) X
Search for persons X
?
1

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

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

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

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

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

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

Generation of a Reversible Semantics for Erlang in Maude:

, In: Formal Methods and Software Engineering; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 106-122 , 2022
Link: https://doi.org/10.1007/..
 
?
8

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

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,
Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022
Link: https://doi.org/10.1007/..
 
?
9

The Reversible Temporal Process Language:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,
Bocchi, Laura ; Lanese, Ivan ; Mezzina, Claudio Antares. - p. 31-49 , 2022
Link: https://doi.org/10.1007/..
 
?
10

Programming Adaptive Microservice Applications: An AIOCJ Tu..:

, In: Behavioural Types,
Giallorenzo, Saverio ; Lanese, Ivan ; Mauro, Jacopo. - p. 147-167 , 2022
Link: https://doi.org/10.1201/..
 
?
11

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

Formal Choreographic Languages:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,
Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 121-139 , 2022
Link: https://doi.org/10.1007/..
 
?
13

Forward-Reverse Observational Equivalences in CCSK:

, In: Reversible Computation; Lecture Notes in Computer Science,
Lanese, Ivan ; Phillips, Iain - p. 126-143 , 2021
Link: https://doi.org/10.1007/..
 
?
14

Causal-Consistent Debugging of Distributed Erlang Programs:

, In: Reversible Computation; Lecture Notes in Computer Science,
Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard - p. 79-95 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Corinne, a Tool for Choreography Automata:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,
Orlando, Simone ; Pasquale, Vairo Di ; Barbanera, Franco.. - p. 82-92 , 2021
Link: https://doi.org/10.1007/..
 
1-15