Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation.
Reinhard von HanxledenMichael MendlerJoaquín AguadoBjörn DuderstadtInsa FuhrmannChristian MotikaStephen MercerOwen O'BrienPartha S. RoopPublished in: ACM Trans. Embed. Comput. Syst. (2014)