A formal model of programs

zbMath0566.68055MaRDI QIDQ1059401

J. Blot

Publication date: 1984

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

zbMATH Keywords

inhibitor arcs; formal model of parallel programs; languages describing firing sequences; Petri net extensions

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68N25: Theory of operating systems