| 12345678910111213141516171819202122232425262728293031 |
- 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>`_]
|
