scientific article; zbMATH DE number 1390078
From MaRDI portal
Publication:4934344
zbMath0947.03057MaRDI QIDQ4934344
Publication date: 7 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order theoryobservational equivalenceassociated graphssynchronized productsingle-tape machinestransformations on multi-tape linear bounded machines
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Decidability of theories and sets of sentences (03B25) Turing machines and related notions (03D10)
Related Items (1)
This page was built for publication:
