Parallelizing operational schemata over block variables

zbMATH Open0419.68022MaRDI QIDQ1132559

V. Val'kovs'kyj

Publication date: 1977

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

parallel operational schemata over block variables

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

This page was built for publication: Parallelizing operational schemata over block variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1132559)