scientific article; zbMATH DE number 3988724

MaRDI QIDQ3751024zbMATH OpenFDO

Authors Jacques Vautherin

Publication date 1986

zbMATH Keywords

abstract model for parallel programscoloured Petri netspartial correctness

Mathematics Subject Classification ID

Theory of operating systems (68N25) 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 4028914
• Verifying parallel algorithms and programs using coloured Petri nets
• scientific article; zbMATH DE number 51650
• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• scientific article; zbMATH DE number 3890746

Cited in

(10)

• A formal model of programs
• S- and T-invariants in cyber net systems
• Translation validation of coloured Petri net models of programs on integers
• Equivalence checking of Petri net models of programs using static and dynamic cut-points
• scientific article; zbMATH DE number 3890746 (Why is no real title available?)
• scientific article; zbMATH DE number 3988723 (Why is no real title available?)
• Proof procedure and answer extraction in Petri net model of logic programs
• Résolution paramétrée de familles de systèmes linéaires
• scientific article; zbMATH DE number 1755152 (Why is no real title available?)
• Verifying parallel algorithms and programs using coloured 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 Q3751024)