Józef Winkowski;Andrea Maggiolo-Schettini
Instytut Informatyki PAN, Warsaw, Poland;Univ. di Pisa, Pisa, Italy
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation
Fundamenta Informaticae
An Algebra of Data Flows