Research Output per year
Research Output 1980 2006
Introduction to SPIN
Løvengreen, H. H., 2006Research output: Book/Report › Compendium/lecture notes › Education
Basic Concurrency Theory
Løvengreen, H. H., 2002Research output: Book/Report › Compendium/lecture notes › Education
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–294Research output: Contribution to journal › Conference article › Research › peer-review
File
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-99Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Streams and Sockets in DTU-RTMM
Sharp, R., Løvengreen, H. H. & Todirica, E. A., 2000, Department of Information Technology, Technical University of Denmark.Research output: Book/Report › Report › Research › peer-review
Projects 1990 2002
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.
01/02/1999 → 23/08/2002
Project: PhD
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
01/01/1998 → 31/12/2001
Project: Research
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S., Andersen, H. R. & Løvengreen, H. H.
01/02/1996 → 21/07/2000
Project: PhD