 | 2001 |
|---|
| 8 |       | Mikael Buchholtz,
Jacob Andersen,
Hans Henrik Løvengreen:
Towards a Process Algebra for Shared Processors.
Electr. Notes Theor. Comput. Sci. 52(3): (2001) |
| 1994 |
|---|
| 7 |  | Morten Ulrik Sørensen,
Odd Erik Hansen,
Hans Henrik Løvengreen:
Combining Temporal Specification Techniques.
ICTL 1994: 1-16 |
| 1992 |
|---|
| 6 | | Hans Henrik Løvengreen,
Jørgen Staunstrup:
Synchronous Realization of Asynchronous Computations.
TPCD 1992: 95-110 |
| 1990 |
|---|
| 5 | | Peter Grønning,
Thomas Qvist Nielsen,
Hans Henrik Løvengreen:
Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.
FSTTCS 1990: 332-348 |
| 4 | | Peter Grønning,
Thomas Qvist Nielsen,
Hans Henrik Løvengreen:
Stepwise Development of a Distributed Load Balancing Algorithms.
WDAG 1990: 151-168 |
| 1988 |
|---|
| 3 | | Anders P. Ravn,
Hans Rischel,
Hans Henrik Løvengreen:
A Design Method for Embedded Software Systems.
BIT 28(3): 427-438 (1988) |
| 1987 |
|---|
| 2 | | Ulla Gamwell Dawids,
Hans Henrik Løvengreen:
Rigorous Development of a Distributed Calendar System.
PARLE (2) 1987: 188-205 |
| 1982 |
|---|
| 1 | | Dines Bjørner,
Hans Henrik Løvengreen:
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).
VLDB 1982: 334-347 |
