RealSpec: An Executable Specification Language for Prototyping Concurrent Systems.
Amir A. Khwaja, Joseph E. Urban
VenueCRSP
Year2008
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/KhwajaU08 ↗
Browse the full RSP paper archive.