References

  1. D. Adalid, M. Gallardo & L. Titolo (2015): Modeling Hybrid Systems in the Concurrent Constraint Paradigm. Electronic Proceedings in Theoretical Computer Science 173, doi:10.4204/EPTCS.173.1.
  2. H. Aït-Kaci (1991): Warren's Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge, MA, USA.
  3. M. Alpuente, M. del Mar Gallardo, E. Pimentel & A. Villanueva (2005): Quantitative Aspects of Programming Languages (QAPL 2004) A semantic framework for the abstract model checking of tccp programs. Theoretical Computer Science 346(1), pp. 58 – 95, doi:10.1016/j.tcs.2005.08.009.
  4. P. Amagbégnon, L. Besnard & P. Le Guernic (1995): Implementation of the Data-flow Synchronous Language SIGNAL. In: Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, PLDI '95. ACM, New York, NY, USA, pp. 163–173, doi:10.1145/207110.207134.
  5. R. Bagnara, P.M. Hill, E. Ricci & E. Zaffanella (2005): Special Issue on the Static Analysis Symposium 2003 Precise widening operators for convex polyhedra. Science of Computer Programming 58(1), pp. 28 – 56, doi:10.1016/j.scico.2005.02.003.
  6. F. de Boer, M. Gabbrielli & M. Meo (2000): A Timed Concurrent Constraint Language. Information and Computation 161(1), pp. 45 – 83, doi:10.1006/inco.1999.2879.
  7. K. Clark & S. Gregory (1986): PARLOG: Parallel Programming in Logic. ACM Trans. Program. Lang. Syst. 8(1), pp. 1–49, doi:10.1145/5001.5390.
  8. M. Comini, L. Titolo & A. Villanueva (2011): Abstract diagnosis for timed concurrent constraint programs. TPLP 11(4-5), pp. 487–502, doi:10.1017/S1471068411000135.
  9. Esterel Technologies (2016): SCADE Suite. Available at http://www.esterel-technologies.com/products/scade-suite/.
  10. A. Gamatié & T. Gautier (2010): The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems. IEEE Transactions on Parallel and Distributed Systems 21(5), pp. 641–657, doi:10.1109/TPDS.2009.125.
  11. T. Gautier & P. Le Guernic (1987): SIGNAL: A declarative language for synchronous programming of real-time systems. In: G. Kahn: FPCA, Lecture Notes in Computer Science 274. Springer, pp. 257–277, doi:10.1007/3-540-18317-5_15.
  12. S. Gregory, I.T. Foster, A.D. Burt & G.A. Ringwood (1989): An abstract machine for the implementation of PARLOG on uniprocessors. New Generation Computing 6(4), pp. 389–420, doi:10.1007/BF03037448.
  13. N. Halbwachs (2005): A synchronous language at work: the story of Lustre. In: Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05., pp. 3–11, doi:10.1109/MEMCOD.2005.1487884.
  14. N. Halbwachs, P. Caspi, P. Raymond & D. Pilaud (1991): The synchronous data flow programming language LUSTRE. Proceedings of the IEEE 79(9), pp. 1305–1320, doi:10.1109/5.97300.
  15. S. Haridi, P. Van Roy, P. Brand & C. Schulte (1998): Programming languages for distributed applications. New Generation Computing 16(3), pp. 223–261, doi:10.1007/BF03037481.
  16. E.Y. Kang, G. Perrouin & P.Y. Schobbens (2013): Model-Based Verification of Energy-Aware Real-Time Automotive Systems. In: Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on, pp. 135–144, doi:10.1109/ICECCS.2013.27.
  17. R.A. Kowalski (1988): The Early Years of Logic Programming. Commun. ACM 31(1), pp. 38–43, doi:10.1145/35043.35046.
  18. P. Le Guernic, J.-P. Talpin & J.-C. Le Lann (2003): POLYCHRONY for System Design. Journal of Circuits, Systems and Computers 12(03), pp. 261–303, doi:10.1142/S0218126603000763.
  19. A. Lescaylle & A. Villanueva (2009): The tccp Interpreter. Electronic Notes in Theoretical Computer Science 258(1), pp. 63 – 77, doi:10.1016/j.entcs.2009.12.005.
  20. T. Parr (2013): The Definitive ANTLR 4 Reference, 2nd edition. Pragmatic Bookshelf.
  21. J. Qian, J. Liu, X. Chen & J. Sun (2015): Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems. In: Complex Faults and Failures in Large Software Systems (COUFLESS), 2015 IEEE/ACM 1st International Workshop on, pp. 48–54, doi:10.1109/COUFLESS.2015.15.
  22. V.A. Saraswat & M. Rinard (1990): Concurrent Constraint Programming. In: Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '90. ACM, New York, NY, USA, pp. 232–245, doi:10.1145/96709.96733.
  23. J. Sedlacek & T. Hurka (2016): JaCoP - Java Constraint Programming solver. Available at http://jacop.osolpro.com/.
  24. T. Sjöland, E. Klintskog & S. Haridi (2001): An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract).
  25. L.A. Tuan, M.C. Zheng & Q.T. Tho (2010): Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker. In: Secure Software Integration and Reliability Improvement (SSIRI), 2010 Fourth International Conference on, pp. 23–32, doi:10.1109/SSIRI.2010.28.
  26. K. Ueda & T. Chikayama (1990): Design of the Kernel Language for the Parallel Inference Machine. The Computer Journal 33(6), pp. 494–500, doi:10.1093/comjnl/33.6.494.
  27. K. Ueda (1986): Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1–3, 1985, chapter Guarded horn clauses, pp. 168–179. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/3-540-16479-0_17.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org