scientific article; zbMATH DE number 1215473

zbMATH Open0906.03031MaRDI QIDQ4215606

V. V. Spanopulo, Vladimir A. Zakharov

Publication date: 22 February 1999

Title of this publication is not available (Why is that?)

zbMATH Keywords

modal logicconcurrent programsinterleaving semanticspartial order semanticsmodel-checkingdistributed programsprogram semanticstemporal logicsverification of reactive systemscausality logicsrelational model structure

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Title not available (Why is that?) ⋮ Relations between Concurrent-Write Models of Parallel Computation ⋮ Title not available (Why is that?)

This page was built for publication:

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