Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places11.di.fc.ul.pt

• Process calculi
• Concurrent computing
• Distributed computing
• Actor model
• -calculus
• Calculus
• Bunched logic
• Parallel computing
• Resource fork
• Thread
• Resource management
• Concurrency

The Inverse Method for the Logic of Bunched Implications Kevin Donnelly1 , Tyler Gibson2 , Neel Krishnaswami3 , Stephen Magill3 , and Sungwoo Park3 1

Source URL: www.mpi-sws.org

Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages).

Source URL: www.cl.cam.ac.uk

• Process calculi
• Actor model
• Logic in computer science
• Robin Milner
• Bigraph
• Semantics of programming languages
• Computation
• Π-calculus
• Bunched logic
• Computer science
• Theoretical computer science
• Applied mathematics

Linear Logic and Applications Valeria de Paiva, Josef van Genabith, Eike Ritter and Richard Crouch September 30, 1999

Source URL: www.dagstuhl.de

• Non-classical logic
• Formal languages
• Logic in computer science
• Categorial grammar
• Noncommutative logic
• Proof theory
• Linear logic
• Johan van Benthem
• Bunched logic
• Logic
• Mathematical logic
• Substructural logic