...
Dennis Pehlke: Gueye, S. M.; De Palma, N.; Rutten, E.; Tchana, A., Coordinating multiple administration loops using discrete control (language: Heptagon/BZR), ACM SIGOPS Operating Systems Review, vol. 47, issue 3, December 2013, pp. 18-25.
Nicolas Jessen: Talpin, J.-P; Brandt, J.; Gemünde, M.; Schneider, M.; Shukla, S., Constructive Polychronous Systems, Logical Foundations of Computer Science. vol. 7734, 2013.
...
D. Li, Z. Zhai, Z. Pang, V. Vyatkin and C. Liu, Synchronous-reactive Semantic Modelling and Verification for Function Block Networks, in IEEE Transactions on Industrial Informatics
Master Empfehlung
Jan Reese: Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis and Reinhard von Hanxleden. Runtime enforcement of reactive systems using synchronous enforcers. In CoRR, vol. abs/1612.05030, 2016.
...
Sören Domrös: Gesell, M.; Schneider, K., Modular verification of synchronous programs, Application of Concurrency to System Design (ACSD), 2013 13th International Conference on, pp. 70, 79, 8-10 Juli 2013Merlin Kötzing: Shaver, C.; Lee, E.A., The coroutine model of computation, Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems 2012 (MODELS'12), pp. 319-334. PDF hier.
Die Bearbeitung dieses Themas sollte sich auch mit ev. aktuellen Weiterentwicklungen beschäftigen, siehe z.B. den Vortrag von Chris Shaver beim Synchronworkshop 2013: Slides und die Homepage des Autors.
Lena Grimm: Elisabetta De Maria, Alexandre Muzy, Daniel Gaffé, Annie Ressouche, Franck Grammont. Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models. [Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21.
...