, Volume 19, Issue 4, pp 485-503
Date: 13 Jan 2010

Combinations of Stit and Actions

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


We present a simple theory of actions against the background of branching time, based on which we propose two versions of an extended stit theory, one equipped with particular actions and the other with sets of such actions. After reporting some basic results of a formal development of such a theory, we briefly explore its connection to a version of branching ETL.