2. Simple Actor Language.
A minimal
actor language, used for pedagogical purposes in:
["Actors, A Model of Concurrent Computation in Distributed
Systems", G. Agha, MIT Press 1986].
(1994-12-08)
3. SPARK Annotation Language.
ICL, Ltd. Used in the verification of
SPARK programs
against
Z specifications.
(1994-12-08)