Logo image
Open Research University homepage
Surrey researchers Sign in
Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems
Journal article   Open access   Peer reviewed

Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems

Brijesh Dongol and John Derrick
Science of computer programming, Vol.111(2), pp.214-247
01/11/2015

Abstract

Discrete time systems Interval-based reasoning Real-time systems Refinement True concurrency
url
https://doi.org/10.1016/j.scico.2015.05.005View
Published (Version of record) Open

Metrics

Details

Logo image

Usage Policy