A Reachability Analyser for Algebraic System Nets
No Thumbnail Available
URL
Journal Title
Journal ISSN
Volume Title
Helsinki University of Technology |
Licentiate thesis
Checking the digitized thesis and permission for publishing
Instructions for the author
Instructions for the author
Authors
Date
2000
Department
Major/Subject
Digitaalitekniikka
Mcode
Tik-79
Degree programme
Language
en
Pages
(10) + 96
Series
Description
Supervisor
Ojala, LeoThesis advisor
Husberg, NisseKeywords
many-sorted algebras, monilajialgebrat, algebraic system nets, algebralliset järjestelmäverkot, distributed systems, hajautetut järjestelmät, reachability analysis, saavutettavuusanalyysi