Hans Henrik Løvengreen

Publication Activity (10 Years)

Years Active: 1980-2001
Publications (10 Years): 0

Publications

Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen
Towards a Process Algebra for Shared Processors. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
Combining Temporal Specification Techniques. ICTL (1994)
Hans Henrik Løvengreen, Jørgen Staunstrup
Synchronous Realization of Asynchronous Computations. TPCD (1992)
Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen
A systematic kernel development. SIGSOFT (1991)
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Stepwise Development of a Distributed Load Balancing Algorithms. WDAG (1990)
Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS (1990)
Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen
A Design Method for Embedded Software Systems. BIT 28 (3) (1988)
Ulla Gamwell Dawids, Hans Henrik Løvengreen
Rigorous Development of a Distributed Calendar System. PARLE (2) (1987)
Dines Bjørner, Hans Henrik Løvengreen
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB (1982)
Hans Henrik Løvengreen, Dines Bjørner
On a formal model of the tasking concept in Ada. SIGPLAN (1980)
Hans Henrik Løvengreen
Parallelism in Ada. Towards a Formal Description of Ada (1980)