Staunstrup, Jørgen

• DAIMI Report Series No. 129 (1981): PB-129 Analysis of Concurrent Algorithms - Articles
  Analysis of Concurrent Algorithms
  Abstract  PDF
• DAIMI Report Series No. 92 (1978): PB-92 A Comparison of Monitors and Message Passing - Articles
  A Comparison of Monitors and Message Passing
  Abstract  PDF
• DAIMI Report Series No. 94 (1979): PB-94 Specification and Verification of Concurrent Programs - Articles
  Specification and Verification of Concurrent Programs
  Abstract  PDF
• DAIMI Report Series No. 29 (1974): PB-29 A Description of the RIKKE 1 System - Articles
  A Description of the RIKKE 1 System
  Abstract  PDF
• DAIMI Report Series No. 168 (1983): PB-168 Physical Datarepresentation in a Multiprocessor Database Machine - Articles
  Physical Datarepresentation in a Multiprocessor Database Machine
  Abstract  PDF
• DAIMI Report Series No. 142 (1982): PB-142 Early Experience from a Multi-Processor Project - Articles
  Early Experience from a Multi-Processor Project
  Abstract  PDF
• DAIMI Report Series No. 147 (1982): PB-147 Concurrent Algorithms for Root Searching - Articles
  Concurrent Algorithms for Root Searching
  Abstract  PDF
• DAIMI Report Series No. 219 (1987): PB-219 Synchronized Transitions - Articles
  Synchronized Transitions
  Abstract  PDF
• DAIMI Report Series No. 228 (1987): PB-228 Self-Timed Iteration - Articles
  Self-Timed Iteration
  Abstract  PDF
• DAIMI Report Series No. 255 (1988): PB-255 From High-level Descriptions to VLSI Circuits - Articles
  From High-level Descriptions to VLSI Circuits
  Abstract  PDF
• DAIMI Report Series No. 167 (1983): PB-167 Experiments with a fast String Searching Algorithm - Articles
  Experiments with a fast String: Searching Algorithm
  Abstract  PDF
• DAIMI Report Series No. 185 (1984): PB-185 Experiments with a Multiprocessor - Articles
  Experiments with a Multiprocessor
  Abstract  PDF
• DAIMI Report Series No. 170 (1983): PB-170 COMMON CLASS: - a tool for programming the access to shared data - Articles
  COMMON CLASS: - a tool for programming the access to shared data
  Abstract  PDF
• DAIMI Report Series No. 200 (1985): PB-200 Problem-heap: A Paradigm for Multiprocessor Algorithms - Articles
  Problem-heap: A Paradigm for Multiprocessor Algorithms
  Abstract  PDF
• DAIMI Report Series No. 59 (1976): PB-59 Use of Design Criteria for Intermediate Languages - Articles
  Use of Design Criteria for Intermediate Languages
  Abstract  PDF
• DAIMI Report Series No. 258 (1988): PB-258 Verification of VLSI Circuits Using LP - Articles
  Verification of VLSI Circuits Using LP
  Abstract  PDF