SPADL#
Implementation of the SPADL language.
Module for converting event stream data to SPADL actions |
|
Module for converting SPADL actions to atomic actions |
Back to top