Hans Henrik Løvengreen

Orcid: 0000-0001-6443-4957

According to our database1, Hans Henrik Løvengreen authored at least 11 papers between 1980 and 2001.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2001
Towards a Process Algebra for Shared Processors.
Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

1994
Combining Temporal Specification Techniques.
Proceedings of the Temporal Logic, First International Conference, 1994

1992
Synchronous Realization of Asynchronous Computations.
Proceedings of the Theorem Provers in Circuit Design, 1992

1991
A systematic kernel development.
Proceedings of the conference on Software for citical systems, 1991

1990
Stepwise Development of a Distributed Load Balancing Algorithms.
Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

1988
A Design Method for Embedded Software Systems.
BIT, 1988

1987
Rigorous Development of a Distributed Calendar System.
Proceedings of the PARLE, 1987

1982
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).
Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1980
On a formal model of the tasking concept in Ada.
Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

Parallelism in Ada.
Proceedings of the Towards a Formal Description of Ada, 1980


  Loading...