scientific article; zbMATH DE number 3562460
From MaRDI portal
Publication:4134898
zbMath0361.68011MaRDI QIDQ4134898
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Developments in concurrent Kleene algebra, Predicate transformers as power operations, Exploring an Interface Model for CKA, Semantics of algorithmic languages