Robin Milner 1934--2010: verification, languages, and concurrency
Abstract
No abstract available.
Related papers
- "Proof, Language and Interaction, Essays in Honour of Robin Milner" by Gordon Plotkin, Colin Sterling and Mads Tofte (eds.), Foundations of Computing Series, MIT Press 2000 JFP 2004
- ML: metalanguage or object language? ICFP 2010
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- Bounded Verification of Multi-threaded Programs via Lazy Sequentialization TOPLAS 2022
- The Rewrite Engines Competitions: A RECtrospective TACAS 2019
- Parallel computing in 2010: opportunities and challenges in a networked world (abstract) PPoPP 2001
- CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes TACAS 2011
- Modeling in Event-B - System and Software Engineering Jean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561 JFP 2012