Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6. 1 3rd international conference, Florence, Italy, February 15--18, 1999
From MaRDI portal
Publication:1286077
zbMATH Open0912.00023MaRDI QIDQ1286077
Author name not available (Why is that?)
Publication date: 2 May 1999
Published in: IFIP, International Federation for Information Processing (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (3)
Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings. ⋮ An algebra of behavioural types ⋮ Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
This page was built for publication: Formal methods for open object-based distributed systems. FMOODS, IFIP TC6/ WG6. 1 3rd international conference, Florence, Italy, February 15--18, 1999
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286077)
