Found 6 Documents (Results 1–6)
The correctness of concurrencies in (reversible) concurrent calculi. (English) Zbl 07803176
MSC:
68-XX
Implementation of a reversible distributed calculus. (English) Zbl 07786603
Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 210-217 (2023).
MSC:
68Q85
Replications in reversible concurrent calculi. (English) Zbl 07786592
Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 15-23 (2023).
MSC:
68Q85
Concurrencies in reversible concurrent calculi. (English) Zbl 07615947
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, 146-163 (2022).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (3)
all
top 5
Author
- Aubert, Clément (5)
- Browning, Peter (1)
- Lanese, Ivan (1)
- Phillips, Iain W. (1)
- Ulidowski, Irek (1)
- Varacca, Daniele (1)