Books by E. -R. (Carl V. Ossietzky Universitat Oldenburg Olderog

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.