scientific article
From MaRDI portal
Publication:3490967
zbMath0708.68043MaRDI QIDQ3490967
No author found.
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Deciding observational congruence of finite-state CCS expressions by rewriting ⋮ Conditional rewriting logic as a unified model of concurrency
This page was built for publication: