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

    2800 Kgs. Lyngby

    Denmark

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

File
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

Projects

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

01/02/199923/08/2002

Project: PhD

Real-Time Multimedia (RTMM)

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

Unknown

01/01/199831/12/2001

Project: Research

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

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

DTU stipendium

01/02/199621/07/2000

Project: PhD