Basic Concurrency Theory

Hans Henrik Løvengreen

Basic Concurrency Theory

Hans Henrik Løvengreen

Research output: Book/Report › Compendium/lecture notes

Abstract

In this set of notes, we present some of the basic theory underlying the discipline of programming with concurrent processes/threads. The notes are intended to supplement a standard textbook on concurrent programming.

Original language	English

Publication status	Published - 2002
Event	Concurrent Systems - Duration: 1 Jan 2002 → … Conference number: 02220

Course

Course	Concurrent Systems
Number	02220
Period	01/01/2002 → …

OpenUrl availability

Check availability in DTU Findit

Cite this

@book{c8c3d18b199f427e916a49110710f6fa,

title = "Basic Concurrency Theory",

abstract = "In this set of notes, we present some of the basic theory underlying the discipline of programming with concurrent processes/threads. The notes are intended to supplement a standard textbook on concurrent programming.",

author = "L{\o}vengreen, \{Hans Henrik\}",

year = "2002",

language = "English",

note = "Concurrent Systems ; Conference date: 01-01-2002",

}

TY - BOOK

T1 - Basic Concurrency Theory

AU - Løvengreen, Hans Henrik

N1 - Conference code: 02220

PY - 2002

Y1 - 2002

N2 - In this set of notes, we present some of the basic theory underlying the discipline of programming with concurrent processes/threads. The notes are intended to supplement a standard textbook on concurrent programming.

AB - In this set of notes, we present some of the basic theory underlying the discipline of programming with concurrent processes/threads. The notes are intended to supplement a standard textbook on concurrent programming.

M3 - Compendium/lecture notes

BT - Basic Concurrency Theory

T2 - Concurrent Systems

Y2 - 1 January 2002

ER -

Basic Concurrency Theory

Abstract

Course

OpenUrl availability

Fingerprint

Cite this