ACTA   2015
Wall of Fame | Most Viewed ACTA-2015 Paper
10views more  ACTA 2015»
3 years 13 days ago
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
The synchronous model of concurrent computation (SMoCC) is well established for programming languages in the domain of safety-critical reactive and embedded systems. Translated int...
Joaquin Aguado, Michael Mendler, Reinhard von Hanx...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source10
2Download preprint from source6
3Download preprint from source5
4Download preprint from source3
5Download preprint from source2
6Download preprint from source1
7Download preprint from source1