Formal techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings

DOI10.1007/978-3-642-13464-7MaRDI QIDQ976294zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 17 June 2010

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

Full work available at URL https://doi.org/10.1007/978-3-642-13464-7

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14)

Recommendations

• Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
• Formal techniques for distributed systems. Joint 14th IFIP WG 6.1 international conference, FMOODS 2012 and 32nd IFIP WG 6.1 international conference, FORTE 2012, Stockholm, Sweden, June 13--16, 2012. Proceedings
• Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings
• Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3--5, 2013. Pro
• Formal techniques for networked and distributed systems -- FORTE 2006. 26th IFIP WG 6.1 international conference, Paris, France, September 26--29, 2006. Proceedings
• Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June
• Formal techniques for networked and distributed systems -- FORTE 2008. 28th IFIP WG 6.1 international conference Tokyo, Japan, June 10--13, 2008. Proceedings
• Formal techniques for networked and distributed systems -- FORTE 2003. 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29 -- October 2, 2003. Proceedings
• Formal techniques for distributed objects, components, and systems. 36th IFIP WG 6.1 international conference, FORTE 2016, held as part of the 11th international federated conference on distributed computing techniques, DisCoTec 2016, Heraklion, Crete, Gr
• Formal techniques for distributed objects, components, and systems. 35th IFIP WG 6.1 international conference, FORTE 2015, held as part of the 10th international federated conference on distributed computing techniques, DisCoTec 2015, Grenoble, France, Ju

Cited in

(5)

• Formal techniques for distributed systems. Joint 11th IFIP WG 6.1 international conference FMOODS 2009 and 29th IFIP WG 6.1 international conference FORTE 2009, Lisboa, Portugal, June 9--12, 2009. Proceedings
• Formal methods for open object-based distributed systems. 9th IFIP WG 6.1 international conference FMOODS 2007, Paphos, Cyprus, June 6--8, 2007. Proceedings.
• scientific article; zbMATH DE number 50277 (Why is no real title available?)
• Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6--9, 2011. Proceedings
• 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 techniques for distributed systems. Joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The Netherlands, June 7--9, 2010. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q976294)