An Action-based Formal Model for Concurrent, Real-Time Systems
C.J. Fidge and A.J. Wellings
No Abstract Available
Download Not Available
BibTex Entry
@article{Fidge1997,
abstract = {},
author = {C.J. Fidge and A.J. Wellings},
journal = {Formal Aspects of Computing},
title = {An Action-based Formal Model for Concurrent, Real-Time Systems},
year = {1997}
}