scientific article; zbMATH DE number 3562469
From MaRDI portal
zbMath0361.68020MaRDI QIDQ4134908
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency, Confluent complement: an algorithm for the intersection of face ideals, Unnamed Item, Fixed point characterization of infinite behavior of finite-state systems, Metric interpretations of infinite trees and semantics of non deterministic recursive programs, Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable, Adherences of languages, Unnamed Item, Alternating states for dual nondeterminism in imperative programming, Semantics of algorithmic languages, R-fuzzy computation