Concurrency Among Strangers Programming in E as Plan Coordination Mark S. Miller1,2 , E. Dean Tribble, and Jonathan Shapiro1 1 2

Source URL: erights.org

BRICS Basic Research in Computer Science BRICS RSP. D. Mosses: A Modular SOS for ML Concurrency Primitives A Modular SOS for

Source URL: www.brics.dk

Robin Milner, Concurrency: interaction, bisimulation, naming Alan Jeffrey Bell Labs, Enabling Computing Technologies Research January 2011, ACM Principles of Programming Languages

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

BRICS Basic Research in Computer Science BRICS DS-00-1 T. T. Hildebrandt: Categorical Models for Concurrency: Independence, Fairness and Dataflow

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSNygaard & Winskel: Domain Theory for Concurrency Domain Theory for Concurrency

Source URL: www.brics.dk

Concurrency and security Dr Robert N. M. Watson University of Cambridge Computer Laboratory Part II Security 4 February 2015

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

S. Bodker, M. Kyng, and K. Schmidt (eds.)- Proceedings of the Sixth European Conference on Computer-Supported Cooperative Work, 12-16 September 1999, Copenhagen, Denmark ©1999 Kluwer Academic Publishers. Printed in the

Source URL: www.ecscw.org

• Concurrency control
• Database management systems
• Data management
• Transaction processing
• Databases
• Lock
• Database
• Communications protocol
• Ring
• Computing
• Data
• Information

CONCURRENCY AND COMPUTATION: PRACTICE AND EXPERIENCE Concurrency Computat.: Pract. Exper. 2000; 00:1–7 Prepared using cpeauth.cls [Version: v2.02] Virtual Data Grid Middleware Services for Data-Intensive Sci

Source URL: swift-lang.org

• Data integration
• Science
• Galaxy
• Workflow
• Geographic information system
• Software
• Discovery Net
• Kepler scientific workflow system
• Workflow technology
• Application software
• Grid computing

European Cooperation in Science and Technology - COST —————————— Secretariat -------

Source URL: w3.cost.eu

• Data management
• Concurrent computing
• Software transactional memory
• Transactional memory
• Parallel computing
• Multi-core processor
• Lock
• Cloud computing
• Distributed computing
• Concurrency control
• Transaction processing
• Computing

MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Spring 2006 Quiz #5: May 12, 2006 Name

Source URL: 6004.csail.mit.edu

• Semaphore
• Concurrency control
• Lock
• Central processing unit