Martin Große-Rhode, Christian Dimitrovici. Algebraic specification of action trees and recursive processes. In Tree Automata and Languages. pages 235-290, 1992.
@incollection{Grosse-RhodeD92,
title = {Algebraic specification of action trees and recursive processes},
author = {Martin Große-Rhode and Christian Dimitrovici},
year = {1992},
tags = {process algebra, algebraic specification, algebra},
researchr = {https://researchr.org/publication/Grosse-RhodeD92},
cites = {0},
citedby = {0},
pages = {235-290},
booktitle = {Tree Automata and Languages},
}