No photo of Hans Henrik Løvengreen
  • Richard Petersens Plads, 322, 110

    2800 Kgs. Lyngby


1980 …2006
If you made any changes in Pure these will be visible here soon.

Research Output 1980 2006

Introduction to SPIN

Løvengreen, H. H., 2006

Research output: Book/ReportCompendium/lecture notesEducation

Basic Concurrency Theory

Løvengreen, H. H., 2002

Research output: Book/ReportCompendium/lecture notesEducation

68 Downloads (Pure)

Towards a Process Algebra for Shared Processors

Buchholtz, M., Andersen, J. & Løvengreen, H. H., 2002, In : Electronic Notes in Theoretical Computer Science. 52, 3, p. 275–294

Research output: Contribution to journalConference articleResearchpeer-review


Towards a Process Algebra for Shared Processors

Buchholtz, M., Andersen, J., Løvengreen, H. H. & Corradini al. al., F. (ed.), 2001, Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01. p. 87-99

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 1990 2002

Computer Based Systems Laboratory

Rischel, H. & Løvengreen, H. H.

01/06/1998 → …

Project: Research

Concurrent Objects

Løvengreen, H. H.

01/09/1993 → …

Project: Research

Formelle notationer til specifikation og verification af indlejrede, tidstro systemer

Rasmussen, T. M., Hansen, M. R., Rischel, H., Løvengreen, H. H., Guldstrand Larsen, K. & Nipkow, T.

DTU stipendium


Project: PhD

Højniveau-design af programmel til indlejrede, reaktive systemer

Mørk, S., Andersen, H. R. & Løvengreen, H. H.

DTU stipendium


Project: PhD