10th Conference on Category Theory and Computer Science (CTCS’04) August 12th-14th, 2004 and FIRST Graduate Student Summer School, August 9th-11th, 2004 Workshop on Categorical Methods in Concurrency, Interaction and M

Source URL: www.itu.dk

Threads and the Single UNIX Specification, Version 2 Extracted from Go Solo 2 The Open Group Copyright  May 1997, The Open Group

Source URL: www.unix.org

• Computing
• Software engineering
• Computer programming
• Concurrency control
• Software design patterns
• Application programming interfaces
• Parallel computing
• POSIX
• Monitor
• Thread-local storage
• Thread
• C standard library

Increasing Concurrency in Object-Oriented Databases Using Semantic Information: A Survey Advanced Databases Term Paper December 1, 1993 Professor Shasha Bob DuCharme IDIntroduction Dat

Source URL: www.snee.com

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Source URL: www.vanbever.eu

• Network architecture
• Network protocols
• OpenFlow
• Software-defined networking
• Local area networks
• Nox
• Open vSwitch
• Firewall
• Forwarding plane
• Transmission Control Protocol

Concurrency Control and Recovery Michael J. Franklin Department of Computer Science and UMIACS University of Maryland College Park, MD

Source URL: www.news.cs.nyu.edu

The biggest revolution in the technological landscape for fifty years Parallelism, concurrency and distribution are at the root of a revolution in computer

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

A Concurrency Model for Event-Based Network Intrusion Detection Matthias Vallentin Seth Fowler

Source URL: matthias.vallentin.net

Case Study: ThreadSafe Identifies Apache MINA Bug Executive Summary Contemplate is developing next-generation static analysis tools for finding concurrency problems. As part of our testing, we have been analysing open so

Source URL: www.contemplateltd.com

Program Actions as Actual Causes: A Building Block for Accountability Anupam Datta Carnegie Mellon University Email:

Source URL: www.andrew.cmu.edu

• Law
• Philosophy
• Concurrency
• Causality
• Conditionals
• Philosophy of science
• Synchronization
• Causation
• Parallel computing