scientific article; zbMATH DE number 3988724

MaRDI QIDQ3751024zbMATH OpenFDO

Authors Jacques Vautherin

Publication date 1986

zbMATH Keywords

partial correctnesscoloured Petri netsabstract model for parallel programs

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) Theory of operating systems (68N25)

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

(9)

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