Mezzina, Claudio Antares.
Overview
| Works: | 10 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
(1998 :); Mezzina, Claudio Antares.; Podlaski, Krzysztof.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects, components, and systems45th IFIP WG 6.1 International Conference, FORTE 2025, held as part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025 : proceedings /
by:
(1998 :); Ferreira, Carla.; Mezzina, Claudio Antares.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Computer network protocols
Theory of Computation.
Electronic data processing
Operating Systems.
Computer logic
Logic Design.
Formal methods (Computer science)
Computer science
Formal Languages and Automata Theory.
Artificial Intelligence.
Reversible computing
Computer System Implementation.
Computer Communication Networks.