SPADL#

Implementation of the SPADL language.

SPADL

Module for converting event stream data to SPADL actions

Atomic-SPADL

Module for converting SPADL actions to atomic actions