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.

The Clinica Para Madres (Mother?s Clinic) opened in Tucson, Arizona, in December of 1934 as the first birth control [3] clinic in Arizona. After moving to Tucson, birth control [3] activist Margaret Sanger, along with a group of local philanthropic women, founded the clinic to provide Arizona women with contraception [4]. During the early 1900s in the US, contraception [4] was illegal under the...

Article history: Received 5 May 2012 Received in revised form 22 August 2013 Accepted 18 September 2013 Available online xxxx

In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the actual coding of a computer system, so that the software in question will be correct by construction. At the end, I shall present a number of real pro...

This position paper presents the author’s personal and unratified views on the Resource/Events/Agents model (REA) along with suggested directions of further research with an emphasis on formal methods. The three main suggestions for REA are: (1) to establish a formal foundation, (2) to design a contract/process language, and (3) to design a report language.