Models, Languages, and Tools for Concurrent and Distributed Programming
DOI10.1007/978-3-030-21485-2zbMATH Open1416.68004OpenAlexW4249936308MaRDI QIDQ5230474FDOQ5230474
Authors:
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
Recommendations
- Concurrency, graphs and models. Essays dedicated to Ugo Montanari on the occasion of his 65th birthday
- Models for concurrency: Towards a classification
- Special issue: Models and paradigms for concurrency. IC-EATCS Advanced School, Udine, Italy, September 15--19, 1997
- scientific article; zbMATH DE number 125888
- scientific article; zbMATH DE number 809425
- Selected papers on programming language approaches to concurrency and communication-centric software (PLACES 2014)
- Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever
- scientific article; zbMATH DE number 2104622
Proceedings of conferences of miscellaneous specific interest (00B25) Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (9)
- A model of actors and grey failures
- Towards refinable choreographies
- Global types and event structure semantics for asynchronous multiparty sessions
- Title not available (Why is that?)
- A theory of monitors
- Composition and decomposition of multiparty sessions
- Event structure semantics for multiparty sessions
- Ensuring liveness properties of distributed systems: open problems
- A formal approach to the engineering of domain-specific distributed systems
This page was built for publication: Models, Languages, and Tools for Concurrent and Distributed Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5230474)