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

DOI10.1007/978-3-662-43613-4MaRDI QIDQ2451834zbMATH OpenOpenAlexFDO

Authors

Publication date 26 May 2014

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

Full work available at URL https://doi.org/10.1007/978-3-662-43613-4

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 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
• 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. 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019, Kongens Lyngby, Denm
• Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerl
• Formal techniques for distributed objects, components, and systems. 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June
• Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, Jun
• Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 1
• Formal techniques for distributed objects, components, and systems. 43rd IFIP WG 6.1 international conference, FORTE 2023, held as part of the 18th international federated conference on distributed computing techniques, DisCoTec 2023, Lisbon, Portugal, Ju
• Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, Jun
• 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

Cited in

(8)

• 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 objects, components, and systems. 38th IFIP WG 6.1 international conference, FORTE 2018, held as part of the 13th international federated conference on distributed computing techniques, DisCoTec 2018, Madrid, Spain, June 18--21, 2018. Proceedings
• Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14--18, 2021. Proceedings
• Formal techniques for distributed objects, components, and systems. 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19--22, 2017. Proceedings
• 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
• Quantitative equality in substructural logic via Lipschitz doctrines
• Strong Eventual Consistency of the Collaborative Editing Framework WOOT
• 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

This page was built for publication: 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

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