LfP : A Specification Language for Rapid Prototyping of Concurrent Systems

Dan Marius Regep, Fabrice Kordon. LfP : A Specification Language for Rapid Prototyping of Concurrent Systems. In 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 25-27 June 2001, Monterey, CA, USA. pages 90-96, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.