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 - Baier, Christel; Caires, Luís (Springer, 2018)
Keywords: Computer science; Computer communication systems; Architecture, Computer; Software engineering; Programming languages (Electronic computers); Operating systems (Computers); Computer security; Computer Science; Software Engineering; Operating Systems; Programming Languages, Compilers, Interpreters; Systems and Data Security; Computer Communication Networks; Computer System Implementation; Konferenzschrift