Verification of Distributed Algorithms with Algebraic Petri Nets

Authors:
Ekkart Kindler;Wolfgang Reisig
Affiliations:
-;-
Venue:
Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday
Year:
1997

Citing 0
Cited 3

Flexibility in Algebraic Nets

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Verifying Intuition - ILF Checks DAWN Proofs

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
ILF and DAWN for Verifying Distributed Algorithms - An Idea for a Tool

Fundamenta Informaticae

Quantified Score

Hi-index	0.01

Visualization

Abstract