Christopher Lippert

According to our database, Christopher Lippert authored at least 1 paper in 2019.

Collaborative distances:

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

2019

Stronger Validity Criteria for Encoding Synchrony.

Rob van Glabbeek, Ursula Goltz, Christopher Lippert, Stephan Mennicke

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019