scientific article; zbMATH DE number 1498420

zbMATH Open0947.68055MaRDI QIDQ4499485FDOQ4499485

Authors: V. A. Nepomnyashchij, Nikolay V. Shilov, Evgeny V. Bodin 

Publication date: 30 August 2000

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

Recommendations

• Specification and verification of distributed systems by means of the elementary-REAL language
• scientific article; zbMATH DE number 2086946
• Modular abstractions for verifying real-time distributed systems
• scientific article; zbMATH DE number 3898215

zbMATH Keywords

model checkingspecificationtemporal logicdynamic logicnon-determinismREAL

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (5)

• Formal semantics of a VDM extension for distributed embedded systems
• Title not available (Why is that?)
• Specification and verification of distributed systems by means of the elementary-REAL language
• Language-oriented formal analysis: a case study on protocols and distributed systems
• Title not available (Why is that?)

Uses Software

• Basic-REAL

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 Q4499485)