scientific article
From MaRDI portal
Publication:4037389
zbMath0765.68138MaRDI QIDQ4037389
Wuxu Peng, Sudarshan P. Purushothaman
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
On the bound of algorithmic resolvability of correctness problems of automaton interaction through communication channels ⋮ Analysis of a class of communicating finite state machines
This page was built for publication:
