Using Concurrency and Formal Methods for the Design of Safe Process Control

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 183-194
https://doi.org/10.1007/978-0-387-34984-8_16

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Synchronous Programming of Reactive Systems
Published by Springer Nature ,1993
The concurrency workbench
ACM Transactions on Programming Languages and Systems, 1993
The Temporal Logic of Reactive and Concurrent Systems
Published by Springer Nature ,1992