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
@techreport{Fidge1995,
abstract = {},
author = {C.J. Fidge and A.J. Wellings},
institution = {Department of Computer Science, University of York},
number = {YCS-249},
title = {An Action-Based Formal Model for Concurrent, Real-Time Systems},
year = {1995}
}