Semantic Options
================

Please see [SemanticOptions]_ for more information on the several semantic options.

.. _big_step_maximality:

Big Step Maximality
-------------------

.. _internal_event_lifeline:

Internal Event Lifeline
-----------------------

.. _input_event_lifeline:

Input Event Lifeline
--------------------

.. _priority:

Priority
--------

.. _concurrency:

Concurrency
-----------

.. [SemanticOptions] Esmaeilsabzali, S., Day, N. A., Atlee, J. M., and Niu, J. *Deconstructing the semantics of big-step modelling languages*. Requirements Engineering 15, 2 (2010), 235–265. [`LINK <https://cs.uwaterloo.ca/~sesmaeil/publications/2010/REJ10.pdf>`_] 