Reference:
Tommi A. Junttila. Towards well-formed algebraic system nets. In H.-D. Burkhard, L. Czaja, and P. Starke, editors, Workshop Concurrency, Specification & Programming, number 110 in Informatik-Berichte, pages 116–127. Institut für Informatik, Humboldt-Universität zu Berlin, 1998.
Suggested BibTeX entry:
@inproceedings{Junttila:CSP98,
author = {Tommi A. Junttila},
booktitle = {Workshop Concurrency, Specification \& Programming},
editor = {H.-D. Burkhard and L. Czaja and P. Starke},
number = {110},
pages = {116--127},
publisher = {Institut f\"ur Informatik, Humboldt-Universit\"at zu Berlin},
series = {Informatik-Berichte},
title = {Towards Well-Formed Algebraic System nets},
year = {1998},
}
|