Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
DOI : 10.1145/359545.359563
Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.24-28, 1991. ,
DOI : 10.1109/2.84874
The foundations of esterel, Proceedings of Proof, Language , and Interaction, pp.425-454, 2000. ,
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
The ESTEREL language, Proceedings of the IEEE, pp.1293-1304, 1991. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
Syntax and Semantics of the Clock Constraint Specification Language (CCSL) Research Report RR-6925, INRIA, 2009. ,
Behavioural models for distributed Fractal components, annals of telecommunications - annales des t??l??communications, vol.5, issue.1, pp.25-43, 2009. ,
DOI : 10.1007/s12243-008-0069-7
URL : https://hal.archives-ouvertes.fr/inria-00268965
Finite Transition Systems: Semantics of Communicating Systems, 1994. ,
Behavioural semantics for asynchronous components, Journal of Logical and Algebraic Methods in Programming, vol.89, p.2012 ,
DOI : 10.1016/j.jlamp.2017.02.003
URL : https://hal.archives-ouvertes.fr/hal-00761073
Timed-pNets: a formal communication behavior model for real-time cps systems, Proceedings of Workshop on Trustworthy Cyber Physical Systems, 2012. ,
TimeSquare: Treat Your Models with Logical Time ,
DOI : 10.1007/978-3-642-30561-0_4
URL : https://hal.archives-ouvertes.fr/hal-00688590
Communicating and Mobile Systems: the ?-Calculus, 1999. ,
Specification and Verification for Grid Component-Based Applications: From Models to Tools, Proceedings of Formal Methods for Components and Objects, pp.180-203, 2009. ,
DOI : 10.1007/11589976_6
Asynchronous sequential processes . Information and Computation, pp.459-495, 2008. ,
DOI : 10.1016/j.ic.2008.12.004
URL : https://hal.archives-ouvertes.fr/inria-00071834
Introduction to Numerical Analysis, 2002. ,
Globally-asynchronous locally-synchronous systems. Dissertation for the Doctoral Degree, 1984. ,
Hardware-software codesign of embedded systems, IEEE Micro, vol.14, issue.4, pp.26-36, 1994. ,
DOI : 10.1109/40.296155
Hiphop, Proceedings of the 1st ACM SIGPLAN international workshop on Programming language and systems technologies for internet clients, PLASTIC '11, pp.49-56, 2011. ,
DOI : 10.1145/2093328.2093337
URL : https://hal.archives-ouvertes.fr/hal-00911782
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Uppaal ? a tool suite for automatic verification of real?time systems, Proceedings of Workshop on Verification and Control of Hybrid Systems III, LNCS 1066, pp.232-243, 1995. ,
Modeling Heterogeneous Real-time Components in BIP, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), pp.3-12, 2006. ,
DOI : 10.1109/SEFM.2006.27
URL : https://hal.archives-ouvertes.fr/hal-00375298
Modeling and Analysis of Real-Time and Embedded Systems, Lecture Notes in Computer Science, vol.3844, pp.58-66, 2006. ,
DOI : 10.1007/11663430_7
Distributed Real-Time Software for Cyber–Physical Systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59 ,
DOI : 10.1109/JPROC.2011.2161237