Languages
Mezzina, Claudio Antares.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Reversible computation = 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022 : proceedings /
by:
RC (Workshop : Reversible Computation) (2022 :); Mezzina, Claudio Antares.; Podlaski, Krzysztof.; SpringerLink (Online service)
(Electronic resources)
Formal techniques for distributed objects, components, and systems = 45th 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:
FORTE Conference (2025 :); Mezzina, Claudio Antares.; SpringerLink (Online service); International Federated Conference on Distributed Computing Techniques (2025 :); Ferreira, Carla.
(Electronic resources)
Subjects
Software Engineering.
Computer network protocols
Theory of Computation.
Operating Systems.
Computer science- Mathematics
Computer logic
Logic Design.
Formal methods (Computer science)
Formal Languages and Automata Theory.
Electronic data processing- Distributed processing
Artificial Intelligence.
Reversible computing
Computer System Implementation.
Computer Communication Networks.