Making real-time reactive systems reliable

Authors:
Keith Marzullo;Mark Wood
Affiliations:
Cornell University, Ithaca, New York;Cornell University, Ithaca, New York
Venue:
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
Year:
1990

Citing 4
Cited 0

Designing distributed services using refinement mappings

Designing distributed services using refinement mappings
On the development of reactive systems

Logics and models of concurrent systems
An interval logic for higher-level temporal reasoning

PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
The State Machine Approach: A Tutorial

The State Machine Approach: A Tutorial

Quantified Score

Hi-index	0.00

Visualization

Abstract