KOMET - en beskrivelse af systemkonstruktionsmetoder

Publication: Research › Article in proceedings – Annual report year: 1981

Introduction to SPIN
Publication: Education › Compendium/lecture notes – Annual report year: 2006
Basic Concurrency Theory
Publication: Education › Compendium/lecture notes – Annual report year: 2002
Towards a Process Algebra for Shared Processors
Publication: Research - peer-review › Journal article – Annual report year: 2002
Towards a Process Algebra for Shared Processors
Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
Streams and Sockets in DTU-RTMM
Publication: Research - peer-review › Report – Annual report year: 2000

Author: Løvengreen, Hans Henrik
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark, Richard Petersens Plads, 2800, Lyngby
Email:
Author: Parbst, Finn

Original language	English
Title	NordDATA 81
Publisher	Dansk Databehandlingsforening
Publication date	1981
Pages	43-48
State	Published

Conference	NordDATA 81
Period	01-01-81 → …

ID: 2857019

Introduction to SPIN