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

    2800 Kgs. Lyngby


1980 …2006

Research output per year

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

Research Output

Introduction to SPIN

Løvengreen, H. H., 2006

Research output: Book/ReportCompendium/lecture notes

Basic Concurrency Theory

Løvengreen, H. H., 2002

Research output: Book/ReportCompendium/lecture notes

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

68 Downloads (Pure)

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


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

Real-Time Multimedia (RTMM)

Sharp, R., Løvengreen, H. H. & Pedersen, S.



Project: Research

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

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

DTU stipendium


Project: PhD