R
Richard Allen Kemmerer
Researcher at University of California, Santa Barbara
Publications - 2
Citations - 117
Richard Allen Kemmerer is an academic researcher from University of California, Santa Barbara. The author has contributed to research in topics: Formal specification & Programming language specification. The author has an hindex of 2, co-authored 2 publications receiving 117 citations.
Papers
More filters
Journal ArticleDOI
RT-ASLAN: A specification language for real-time systems
TL;DR: RT-ASLAN as mentioned in this paper is an extension of the ASLAN specification language for sequential systems that supports specification of parallel real-time processes through arbitrary levels of abstraction; processes do not have to be specified to the same level of detail.
Book
RT-ASLAN: A specification language for real-time systems
TL;DR: RT-ASLAN, a formal language for specifying real-time systems, is an extension of the ASLAN specification language for sequential systems, and performance correctness conjectures are generated.