LfP : A Specification Language for Rapid Prototyping of Concurrent Systems.
Dan Marius Regep, Fabrice Kordon
VenueCRSP
Year2001
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/RegepK01 ↗
Browse the full RSP paper archive.