scientific article; zbMATH DE number 558291

zbMath0792.68098MaRDI QIDQ4289719

S. V. Kotov

Publication date: 28 April 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsparallel processes\(\Sigma^ +\)-programs\(r\)-procedures

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: