Series A: Research Reports, No. 10. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, May 1989.
Abstract: A new formalism for parallel and distributed sytems is suggested, a heterogeneous algebraic theory seen as a category. It is shown, using distributed transtion systems, that such a category can model concurrent processes in a natural way. This approch is close to both Petri net theory and the well-known inital algebra semantics of programming languages.
Keywords: category (of) distributed transition systems; algebraic theory; inital algebra semantics.