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 /: edited by Christel Baier, Luís Caires.

Caier, Christel.; Caires, Luís.

doi:10.1007/978-3-319-92612-4

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 / edited by Christel Baier, Luís Caires.

FORTE Conference (38th : 2018 : Madrid, Spain); Caier, Christel.; Caires, Luís.; International Federated Conferences on Distributed Computing Techniques (13th : 2018 : Madrid, Spain), jointly held conference.

2018

QA76.9.F67

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

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 / edited by Christel Baier, Luís Caires.

Meeting Name

FORTE Conference (38th : 2018 : Madrid, Spain)

ISBN

9783319926124 (electronic book)
3319926128 (electronic book)
9783319926117
331992611X

DOI

https://doi.org/10.1007/978-3-319-92612-4

Published

Cham : Springer International Publishing : Imprint: Springer, 2018.

Language

English

Description

1 online resource.

Item Number

10.1007/978-3-319-92612-4 doi

Call Number

QA76.9.F67

Dewey Decimal Classification

004.01/51

Summary

This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018. The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.

Note

International conference proceedings.
Includes author index.

Access Note

Access limited to authorized users.

Digital File Characteristics

text file PDF

Source of Description

Description based on print version record.

Added Author

Caier, Christel.
Caires, Luís.

Added Meeting Name

International Federated Conferences on Distributed Computing Techniques (13th : 2018 : Madrid, Spain), jointly held conference.