authors
- Kahl, Wolfram
- Hoare, Tony
- Staden, Stephan van
- Möller, Bernhard
- Struth, Georg
- Villard, Jules
- Zhu, Huibiao
- O'Hearn, Peter W
Developments in Concurrent Kleene Algebra.
Conferences
- Overview
- Identity
- Additional Document Info
- View All