Peter Grønning

According to our database, Peter Grønning authored at least 3 papers between 1990 and 1992.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

1992

Mechanical Verification of Concurrent Systems with TLA.

Urban Engberg, Peter Grønning, Leslie Lamport

Proceedings of the First International Workshop on Larch, 1992

1990

Stepwise Development of a Distributed Load Balancing Algorithms.

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen

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

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

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen

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