Logical representation of algorithmic systems by the Petri-Chomsky machine
From MaRDI portal
Publication:1103398
zbMath0645.68048MaRDI QIDQ1103398
Publication date: 1987
Published in: Programming and Computer Software (Search for Journal in Brave)
Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
This page was built for publication: Logical representation of algorithmic systems by the Petri-Chomsky machine