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.
H. Aït-Kaci (1991):
Warren's Abstract Machine: A Tutorial Reconstruction.
MIT Press,
Cambridge, MA, USA.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
R.A. Kowalski (1988):
The Early Years of Logic Programming.
Commun. ACM 31(1),
pp. 38–43,
doi:10.1145/35043.35046.
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.
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.
T. Parr (2013):
The Definitive ANTLR 4 Reference,
2nd edition.
Pragmatic Bookshelf.
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.
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.
J. Sedlacek & T. Hurka (2016):
JaCoP - Java Constraint Programming solver.
Available at http://jacop.osolpro.com/.
T. Sjöland, E. Klintskog & S. Haridi (2001):
An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract).
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.
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.
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.