Online Resource
Berlin : Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Format:
1 Online-Ressource (15 Seiten)
ISSN:
0863-095X
Series Statement:
Informatik-Berichte 1996,1996,63
Content:
A technique to describe and to verify distributed algorithms is suggested. This technique (based on Petri nets) reduces the modelling- and analysis effort to a reasonable expenditure. The paper outlines the technique along a typical network algorithm, the echo algorithm.
Language:
English
URN:
urn:nbn:de:kobv:11-100190879
URL:
Volltext
(kostenfrei)
| Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |
