## Find a copy in the library

Finding libraries that hold this item...

## Details

Document Type: | Book |
---|---|

All Authors / Contributors: |
Jozef Hooman; Jennifer Widom |

OCLC Number: | 20111816 |

Description: | 24 pages : illustrations ; 28 cm. |

Series Title: | Cornell University.; Department of Computer Science.; Technical report |

Responsibility: | Jozef Hooman and Jennifer Widom. |

### Abstract:

We consider a model of real-time network computation in which synchronous communication events occur during (possibly overlapping) intervals along a dense time scale. A specification language for processes and networks based on real-time temporal logic is defined. We give a simple proof system for network specifications when specifications for component processes are given. The proof system is then extended for a version of real-time CSP, under the assumption that all communications take some fixed length of time. Finally, it is shown that this proof system can be modified to allow varying communication lengths. All versions of the proof system are compositional, sound, and relatively complete.

## Reviews

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "A temporal-logic based compositional proof system for real-time message passing".
Be the first.