De´ ja` Fu: A Concurrency Testing Library for Haskell https://github.com/barrucadu/dejafu Michael Walker Department of Computer Science

Source URL: www.barrucadu.co.uk

Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

Source URL: staff.um.edu.mt

Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt

Source URL: staff.um.edu.mt

TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

Source URL: www.wv.inf.tu-dresden.de

University of Oxford Department of Computer Science Doctor of Philosophy in Computer Science Verification of Message Passing

Source URL: concurrency.informatik.uni-kl.de

Optimistic Concurrency Control for Distributed Unsupervised Learning Xinghao Pan1 Joseph Gonzalez1 Stefanie Jegelka1 Tamara Broderick1,2 Michael I. Jordan1,2 1 Department of Electrical Engineering and Computer Science, a

Source URL: papers.nips.cc

False Concurrency and the Foundations of Computer Science Peter Sewell University of Cambridge Milner Symposium

Source URL: events.inf.ed.ac.uk

Uniqueness Typing for Resource Management in Message-Passing Concurrency Edsko de Vries Computer Science Dept. Trinity College Dublin College Green, Dublin 2

Source URL: www.edsko.net

• Process calculi
• Theoretical computer science
• -calculus
• State-space representation
• Mathematics
• Academia
• Abstraction

      
 


              


Source URL: www-verimag.imag.fr

• Formal methods
• Software engineering
• Unified Modeling Language
• Concurrency
• Concurrency control
• Construction and Analysis of Distributed Processes
• Synchronization
• Theoretical computer science
• UML tool
• Mentor Graphics
• Computing