Robin Milner 1934--2010

DOI10.1145/1926385.1926439zbMATH Open1284.68185OpenAlexW4230701506MaRDI QIDQ5408565FDOQ5408565

Authors:

Publication date: 10 April 2014

Published in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1926385.1926439

Recommendations

• Robin Milner's Work on Concurrency
• Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever
• scientific article; zbMATH DE number 1531624
• Verification of concurrent programs: The automata-theoretic framework
• Runtime verification logics. A language design perspective
• The symbiosis of concurrency and verification: teaching and case studies
• Specification and verification of concurrent programs through refinements
• scientific article; zbMATH DE number 1956470

zbMATH Keywords

Robin Milner

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Robin Milner 1934--2010

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5408565)