...
Sequentially Constructive Concurrency—A Concurrency — A Conservative Extension of the Synchronous Model of Computation.
...
Abstract. This is a journal extended version of the [DATE’13] publication which includes in addition: (i) a description of the mapping from the Sequentially Constructive (SC) language to the SC graph (SCG); (ii) detailed discussions on thread and statement reincarnation; (iii) a full section on the formalisation of SC based on free scheduling of SCGs; (iv) a more general SC Model of Computation based on the notion of confluence; (v) a revised (positive) definition of SC-Admissibility; (vi) definition of valid SC-schedules; (vii) proof that every ASC schedulable program is indeed SC; (viii) detailed discussion on conservative approximations and (ix) additional examples for illustrating ineffective writes, failure despite deterministic outcome, data-dependency of SC and enforced determinism via reduction of admissible runs.
...
Workshops/Seminars:
[SYNCHRON’12]
Sequentially Constructive Concurrency: A Conservative Extension of the Synchronous Model of Computation. (slides)
M. Mendler.
19th International Workshop on Synchronous Programming (SYNCHRON'12), Le Croisic, France. November 2012.
Summary: A presentation of the [DATE’13] publication.
[PDAY’13-1]
Is timing analysis a refinement of causality analysis? (slides)
...