Jason Jaskolka

 

Website: https://carleton.ca/jaskolka/

 

Entries

2019
August 6: Communicating Concurrent Kleene Algebra for Distributed Systems Specification