← Back to Browse
Specification and proof in real-time CSP

Specification and proof in real-time CSP

by Jim Davies

First published: 1993

Subjects

Real-time data processing Real-time programming
Read on Open Library More by Jim Davies

Related Books

Real-time data processing systems

Real-time data processing systems

William H. Desmonde

19642 ed.
Fast Data Processing with Spark Second Edition

Fast Data Processing with Spark Second Edition

Krishna Sankar

20152 ed.
Real-time data-processing systems

Real-time data-processing systems

Saul Stimler

19693 ed.
Real-time data processing systems

Real-time data processing systems

William Herbert Desmonde

19641 ed.
Real-time data processing system, introductory concepts

Real-time data processing system, introductory concepts

William Herbert Desmonde

19641 ed.
Real-time data-processing systems

Real-time data-processing systems

Stimler Saul.

19691 ed.
Real-time data-processing systems

Real-time data-processing systems

Stimler

19691 ed.
Practical Real-time Data Processing and Analytics: Distributed Computing and Event Processing using Apache Spark, Flink, Storm, and Kafka

Practical Real-time Data Processing and Analytics: Distributed Computing and Event Processing using Apache Spark, Flink, Storm, and Kafka

Shilpi Saxena

20171 ed.