Found 7 Documents (Results 1–7)
Reversible debugging of concurrent Erlang programs: supporting imperative primitives. (English) Zbl 07820971
MSC:
68-XX
revTPL: the reversible temporal process language. (English) Zbl 07814919
MSC:
68-XX
Bridging causal reversibility and time reversibility: a stochastic process algebraic approach. (English) Zbl 07731917
MSC:
68-XX
Reversibility in Erlang: imperative constructs. (English) Zbl 07615950
Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 187-203 (2022).
The reversible temporal process language. (English) Zbl 1499.68220
Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 31-49 (2022).
Causal-consistent debugging of distributed Erlang programs. (English) Zbl 07419484
Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 79-95 (2021).
Filter Results by …
Document Type
- Journal Articles (4)
- Collection Articles (3)
all
top 5
Author
- Lanese, Ivan (6)
- Fabbretti, Giovanni (3)
- Mezzina, Claudio Antares (3)
- Stefani, Jean-Bernard (3)
- Bocchi, Laura (2)
- Lami, Pietro (2)
- Sacerdoti Coen, Claudio (2)
- Yuen, Shoji (2)
- Bernardo, Marco (1)
- Phillips, Iain W. (1)
- Ulidowski, Irek (1)
