Models, Languages, and Tools for Concurrent and Distributed Programming

DOI10.1007/978-3-030-21485-2zbMath1416.68004OpenAlexW4249936308MaRDI QIDQ5230474

No author found.

Publication date: 22 August 2019

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

Full work available at URL: https://doi.org/10.1007/978-3-030-21485-2

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (8)

Towards refinable choreographies ⋮ Event structure semantics for multiparty sessions ⋮ A model of actors and grey failures ⋮ Composition and decomposition of multiparty sessions ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Unnamed Item ⋮ A formal approach to the engineering of domain-specific distributed systems ⋮ A theory of monitors

This page was built for publication: Models, Languages, and Tools for Concurrent and Distributed Programming