Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.

DOI10.1007/978-3-540-72952-5zbMath1118.68002OpenAlexW2491741490MaRDI QIDQ2381087

No author found.

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72952-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14)

Related Items (3)

Behavioral interface description of an object-oriented language with futures and promises ⋮ Twenty years of rewriting logic ⋮ An overview of the K semantic framework

This page was built for publication: Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.