High Level Distributed Transition Systems in Categories

Reference:

Nisse Husberg. High level distributed transition systems in categories. Research Report A19, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, Espoo, Finland, November 1992. Doctoral dissertation.

Suggested BibTeX entry:

@techreport{HUT-TCS-A19,
    address = {Espoo, Finland},
    author = {Nisse Husberg},
    institution = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    month = {November},
    note = {Doctoral dissertation},
    number = {A19},
    pages = {119},
    title = {High Level Distributed Transition Systems in Categories},
    type = {Research Report},
    year = {1992},
}