scientific article; zbMATH DE number 810106

MaRDI QIDQ4853318zbMATH OpenFDO

Authors Jan Magott

Publication date 29 October 1995

zbMATH Keywords

formal description techniquesPetri net methodologyspecification language Estelle

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 107730
• scientific article; zbMATH DE number 3980447
• scientific article; zbMATH DE number 1534598
• Application of Petri nets in verification of distributed systems represented in the Estelle language
• Verification of Estelle-specified communication protocols using high-level Petri nets

Cited in

(3)

• Application of Petri nets in verification of distributed systems represented in the Estelle language
• scientific article; zbMATH DE number 1979819 (Why is no real title available?)
• scientific article; zbMATH DE number 2061976 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853318)