A formal model of programs
From MaRDI portal
Publication:1059401
zbMath0566.68055MaRDI QIDQ1059401
Publication date: 1984
Published in: Programming and Computer Software (Search for Journal in Brave)
inhibitor arcsformal model of parallel programslanguages describing firing sequencesPetri net extensions
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
This page was built for publication: A formal model of programs
