Timewise refinement for communicating processes
- 31 January 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 28 (1) , 43-90
- https://doi.org/10.1016/s0167-6423(96)00016-0
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Specification and proof in real-time CSP: by Jim DAVIES. Distinguished Dissertation in Computer Science Series; Cambridge University Press; Cambridge, UK; 1993; xviii + 180 pp.; $49.95; ISBN: 0-521-45055-1Control Engineering Practice, 1996
- Discrete time process algebraFormal Aspects of Computing, 1996
- Fixed points without completenessTheoretical Computer Science, 1995
- A brief history of Timed CSPTheoretical Computer Science, 1995
- An Operational Semantics for Timed CSPInformation and Computation, 1995
- Recursion induction for real-time processesFormal Aspects of Computing, 1993
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992
- Timed process algebras with urgent interactions and a unique powerful binary operatorPublished by Springer Nature ,1992
- Algebraic theory of processes : By M. Hennessy. MIT Press, Cambridge, MA, 1988, Price £16.95 (paperback), ISBN 0-262-08171-7.Science of Computer Programming, 1989
- A timed model for communicating sequential processesLecture Notes in Computer Science, 1986