Reference:
Nisse Husberg. A category of distributed transition systems. Research Report A10, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1989.
Suggested BibTeX entry:
@techreport{HUT-TCS-A10,
address = {Espoo, Finland},
author = {Nisse Husberg},
institution = {Helsinki University of Technology, Digital Systems Laboratory},
month = {May},
number = {A10},
pages = {20},
title = {A Category of Distributed Transition Systems},
type = {Research Report},
year = {1989},
}
|