Models, Languages, and Tools for Concurrent and Distributed Programming
From MaRDI portal
Publication:5230474
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)
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
Cited in
(9)- A model of actors and grey failures
- Towards refinable choreographies
- Global types and event structure semantics for asynchronous multiparty sessions
- scientific article; zbMATH DE number 7559489 (Why is no real title available?)
- 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)
