scientific article; zbMATH DE number 3988724

zbMATH Open0611.68036MaRDI QIDQ3751024FDOQ3751024

Jacques Vautherin

Publication date: 1986

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

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 (3)

• S- and T-invariants in cyber net systems
• Résolution paramétrée de familles de systèmes linéaires
• Title not available (Why is that?)

   Recommendations

• Title not available (Why is that?) 👍 👎
• Verifying Parallel Algorithms and Programs Using Coloured Petri Nets 👍 👎
• Title not available (Why is that?) 👍 👎
• Equivalence checking of Petri net models of programs using static and dynamic cut-points 👍 👎
• 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)