Georg Winterstein

• A method for describing concurrent problems based on logic