Program verification for exception handling on active objects using futures

DOI10.1007/978-3-319-92970-5_5zbMath1509.68161OpenAlexW2806714163MaRDI QIDQ6039383

No author found.

Publication date: 5 May 2023

Published in: Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10852/71547

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Program verification for exception handling on active objects using futures