scientific article; zbMATH DE number 1437515

MaRDI QIDQ4951009zbMATH OpenFDO

Authors N. A. Anisimov, P. A. Postupal'Skij

Publication date 9 April 2001

zbMATH Keywords

Kanellakis-Smolka algorithmPetri netprotocol verificationstep bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Nonnumerical algorithms (68W05)

Recommendations

• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
• scientific article; zbMATH DE number 4085039
• Lectures on Concurrency and Petri Nets
• scientific article; zbMATH DE number 177265

Cited in

(11)

• scientific article; zbMATH DE number 1629920 (Why is no real title available?)
• scientific article; zbMATH DE number 6831517 (Why is no real title available?)
• scientific article; zbMATH DE number 4085039 (Why is no real title available?)
• scientific article; zbMATH DE number 33426 (Why is no real title available?)
• scientific article; zbMATH DE number 177265 (Why is no real title available?)
• scientific article; zbMATH DE number 177506 (Why is no real title available?)
• scientific article; zbMATH DE number 1973983 (Why is no real title available?)
• A Petri Net Model of Handshake Protocols
• Verifying Communication Protocols Using Live Sequence Chart Specifications
• Lectures on Concurrency and Petri Nets
• Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

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 Q4951009)