Browsing Institut für Informatik by Subject "Correctness"
Now showing items 1-1 of 1
1996-05-22BuchPetri Net Based Verification of Distributed Algorithms An ExampleA 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 ...