L. de Alfaro & T. Henzinger (2001):
Interface automata.
In: Proc. Foundations of Software Engineering.
ACM Press,
pp. 109–120.
L. de Alfaro, Th. Henzinger & Marielle Stoelinga (2002):
Timed interfaces.
In: Proc. EMSOFT'02.
C. André, F. Boulanger, M.-A. Péraldi, J. P. Rigault & G. Vidal-Naquet (1997):
Objects and synchronous programming.
European Journal on Automated Systems 31(3),
pp. 417–432.
F. L. Baccelli, G. Cohen, G. J. Olsder & J.-P. Quadrat (1992):
Synchronisation and Linearity.
John Wiley & Sons.
Gérard Berry & Georges Gonthier (1992):
The Esterel synchronous programming language: Design, semantics, implementation.
Science of Computer Programming 19(2),
pp. 87–152.
Marian Boldt, Claus Traulsen & Reinhard von Hanxleden (2008):
Worst case reaction time analysis of concurrent reactive programs.
ENTCS 203(4),
pp. 65–79.
Proc. SLA++P'07, March 2007, Braga, Portugal.
J. Le Boudec & P. Thiran (2001):
Network Calculus - A theory of deterministic queuing systems for the internet.
Lecture Notes in Computer Science 2050.
Springer.
Paul Le Guernic, Thierry Goutier, Michel Le Borgne & Claude Le Maire (1991):
Programming real time applications with SIGNAL.
Proceedings of the IEEE 79(9).
Olivier Hainque, Laurent Pautet, Yann Le Biannic & Eric Nassor (1999):
Cronos: A separate compilation toolset for modular Esterel applications..
In: Jeannette M. Wing, Jim Woodcock & Jim Davies: World Congress on Formal Methods,
Lecture Notes in Computer Science 1709.
Springer,
pp. 1836–1853.
Nicolas Halbwachs (1998):
Synchronous programming of reactive systems, a tutorial and commented bibliography.
In: Tenth International Conference on Computer-Aided Verification, CAV '98.
LNCS 1427, Springer Verlag,
Vancouver (B.C.).
Nicolas Halbwachs (2005):
A synchronous language at work: The story of Lustre.
In: Third ACM-IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE'05,
Verona, Italy.
D. Harel, A. Pnueli, J. Pruzan-Schmidt & R. Sherman (1987):
On the formal semantics of Statecharts.
In: LICS '87.
IEEE Computer Society Press,
pp. 54–64.
Th. Henzinger & S. Matic (2006):
An interface algebra for real-time components.
In: Proceedings of the 12th Annual Real-Time and Embedded Technology and Applications Symposium (RTAS).
IEEE Computer Society,
Los Alamitos, CA, USA,
pp. 253–266.
C. Huizing (1991):
Semantics of Reactive Systems: Comparison and Full Abstraction.
Ph.D. thesis.
Eindhoven Univ. of Technology.
E. A. Lee & Y. Xiong (2001):
System-level types for component-based design.
In: Workshop on Embedded Software EMSOFT 2001,
Lake Tahoe, CA, USA.
E. A. Lee & Y. Xiong (2004):
A behavioral type system and its application in Ptolemy II.
Formal Aspects of Computing 13(3),
pp. 210–237.
E. A. Lee, H. Zheng & Y. Zhou (2005):
Causality interfaces and compositional causality analysis.
In: Foundations of Interface Technologies (FIT'05),
ENTCS.
Elsevier.
Xin Li, Marian Boldt & Reinhard von Hanxleden (2006):
Mapping Esterel onto a multi-threaded embedded processor.
In: Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'06),
San Jose, CA.
Xin Li & Reinhard von Hanxleden (2010):
Multi-threaded reactive programming—The Kiel Esterel processor.
IEEE Transactions on Computers.
G. Luettgen & M. Mendler (2002):
The intuitionism behind Statecharts steps.
ACM Transactions on Computational Logic 3(1),
pp. 1–41.
M. Mendler (2000):
Characterising combinational timing analyses in intuitionistic modal logic.
The Logic Journal of the IGPL 8(6),
pp. 821–853.
Michael Mendler, Reinhard von Hanxleden & Claus Traulsen (2009):
WCRT algebra and interfaces for Esterel-style synchronous processing.
In: Proceedings of the Design, Automation and Test in Europe (DATE'09),
Nice, France.
Amir Pnueli & M. Shalev (1991):
What is in a step: On the semantics of Statecharts.
In: TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software.
Springer-Verlag,
London, UK,
pp. 244–264.
Marc Pouzet (2006):
Lucid Synchrone, version 3. Tutorial and reference manual.
Université Paris-Sud, LRI.
Distribution available at: www.lri.fr/pouzet/lucid-synchrone.
Klaus Schneider (2002):
Proving the equivalence of microstep and macrostep semantics.
In: TPHOLs '02: Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics.
Springer-Verlag,
London, UK,
pp. 314–331.
S. Tripakis, B. Lickly, Th. A. Henzinger & E. A. Lee (2009):
On relational interfaces.
Technical Report UCB/EECS-2009-60.
Electrical Enginering and Computer Sciences, Univ. of California at Berkely.
E. Wandeler & L. Thiele (2005):
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.
In: Proceedings of the ACM International Conference on Embedded Software (EMSOFT'05).
eptcs@eptcs.org