PAISLey

Process-oriented, Applicative, Interpretable Specification Language

Lucent Technologies

An operational specification language for real-time distributed systems, based on a combination of concurrent processes and functional programming, with the addition of timing constraints.

"An Operational Approach to Requirements Specification for Embedded Systems", P. Zave, IEEE Transactions on Software Engineering SE-8(3):250-269 (May 1982).