H. Plünnecke
-
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Fundamenta Informaticae