Thomas Qvist Nielsen

According to our database¹, Thomas Qvist Nielsen authored at least 2 papers in 1990.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1990

Stepwise Development of a Distributed Load Balancing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990