Peter Grønning

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1992
Mechanical Verification of Concurrent Systems with TLA.
Proceedings of the First International Workshop on Larch, 1992

Mechanical Verification of Concurrent Systems with TLA.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

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


  Loading...