scientific article; zbMATH DE number 3988724

zbMATH Open0611.68036MaRDI QIDQ3751024FDOQ3751024

Authors: Jacques Vautherin 

Publication date: 1986

Title of this publication is not available (Why is that?)

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

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)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)