A formal model of programs

MaRDI QIDQ1059401zbMATH OpenFDO

Authors J. Blot

Publication date 1984

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

inhibitor arcsformal model of parallel programslanguages describing firing sequencesPetri net extensions

Mathematics Subject Classification ID

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 3988724
• scientific article; zbMATH DE number 3958740
• scientific article; zbMATH DE number 3970085
• scientific article; zbMATH DE number 3922334
• On interval process semantics of Petri nets with inhibitor arcs

Cited in

(9)

• Formal models of stepwise refinements of programs
• An introduction to signed Petri net
• scientific article; zbMATH DE number 1983047 (Why is no real title available?)
• scientific article; zbMATH DE number 51766 (Why is no real title available?)
• Formal models for some features of programming languages
• Place/transition nets with debit arcs
• scientific article; zbMATH DE number 3937124 (Why is no real title available?)
• scientific article; zbMATH DE number 3956402 (Why is no real title available?)
• The gamma model and its discipline of programming

This page was built for publication: A formal model of programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1059401)