Non-Deterministic System Specification

Authors:
Jean-Raymond Abrial;Stephen A. Schuman
Affiliations:
-;-
Venue:
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Year:
1979

Citing 0
Cited 2

Tentative steps toward a development method for interfering programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
The Early Search for Tractable Ways of Reasoning about Programs

IEEE Annals of the History of Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract