%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% File: synalp.bib
%
% Author: Alain Girault
%
% Date: September 9, 2002
%
% Synopsys: This file contains the official references for the synchronous
% languages, given by the authors themselves.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for the Synchronous Approach
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Article{synchrony02pieee,
  author = 	 {A. Benveniste and P. Caspi and S. Edwards and
                  N. Halbwachs and P. Le Guernic and R. de Simone},
  title = 	 {The Synchronous Languages Twelve Years Later},
  journal = 	 {Proc. of the IEEE, Special issue on embedded systems},
  volume = 	 91,
  number = 	 1,
  pages = 	 {64--83},
  month = 	 jan,
  year = 	 2003,
}

@InProceedings{halbwachs98cav,
  author = 	 {N. Halbwachs},
  title = 	 {Synchronous Programming of Reactive Systems,
                  a Tutorial and Commented Bibliography},
  booktitle = 	 {Tenth International Conference on Computer-Aided
                  Verification, CAV'98},
  year =	 1998,
  volume =	 1427,
  series =	 {LNCS},
  address =	 {Vancouver, Canada},
  month =	 jun,
  publisher =	 {Springer Verlag},
}

@Book{halbwachs93kluwer,
  author = 	 {N. Halbwachs},
  title = 	 {Synchronous Programming of Reactive Systems},
  publisher = 	 {Kluwer Academic},
  year = 	 1993,
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for ARGOS
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@InProceedings{maraninchi92concur,
  author = 	 {F. Maraninchi},
  title = 	 {Operational and Compositional Semantics of Synchronous
                  Automaton Compositions},
  booktitle = 	 {3rd International Conference on Concurrency Theory,
                  CONCUR'92},
  editor =	 {W.R. Cleaveland},
  year =	 1992,
  volume =	 630,
  series =	 {LNCS},
  address =	 {Stony Brook, USA},
  month =	 {August},
  publisher =	 {Springer-Verlag},
  pages =	 {550--564},
}

@Article{argos01complang,
  author = 	 {F. Maraninchi and Y. R\'{e}mond},
  title = 	 {Argos: An Automaton-Based Synchronous Language},
  journal = 	 {Computer Languages},
  year = 	 2001,
  volume =	 27,
  number =	 {1--3},
  month =	 {April--October},
  pages =	 {61--92},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for ESTEREL
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@InCollection{berry-mit00,
  author = 	 {G. Berry},
  title = 	 {The Foundations of Esterel},
  booktitle = 	 {Proof, Language, and Interaction: Essays in Honour of 
                  Robin Milner},
  publisher =	 {MIT Press},
  year =	 2000,
  pages =	 {425--454},
  editor =	 {G. Plotkin and C. Stirling and M. Tofte}
}

@Booklet{berry-book,
  title = 	 {The Constructive Semantics of Esterel},
  author =	 {G. Berry},
  year =	 1998,
}

@Manual{esterel-primer,
  title = 	 {The Esterel-V5 Language Primer},
  author =	 {G. Berry},
  organization = {CMA and Inria},
  address =	 {Sophia-Antipolis, France},
  edition =	 {Version 5.10, Release 2.0},
  year =	 2000,
  month =	 jun,
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for LUSTRE
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@InProceedings{lustre87popl,
  author = 	 {P. Caspi and D. Pilaud and N. Halbwachs and J. Plaice},
  title = 	 {Lustre~: A Declarative Language for Programming
                  Synchronous Systems},
  booktitle = 	 {14th {S}ymposium on {P}rinciples of {P}rogramming
                  {L}anguages},
  year =	 1987,
  address =	 {Munich, Germany},
  month =	 jan,
  pages =	 {178--188},
}

@Article{lustre91pieee,
  author = 	 {N. Halbwachs and P. Caspi and P. Raymond and D. Pilaud},
  title = 	 {The Synchronous Data-Flow Programming Language Lustre},
  journal = 	 {Proc. of the IEEE},
  year = 	 1991,
  volume =	 79,
  number =	 9,
  month =	 sep,
  pages =	 {1305--1320},
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for SIGNAL
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Article{signal91pieee,
  author = 	 {P. Le Guernic and T. Gautier and M. Le Borgne
                  and C. Lemaire},
  title = 	 {Programming Real-Time Applications with Signal},
  journal = 	 {Proc. of the IEEE},
  year = 	 1991,
  volume =	 79,
  number =	 9,
  month =	 sep,
  pages =	 {1321--1336},
}

@Article{signal02jcsc,
  author = 	 {P. Le Guernic and J.-P. Talpin and J.-C. Le Lann},
  title = 	 {Polychrony for System Design},
  journal = 	 {Journal of Circuits, Systems, and Computers - Special
                  Issue: Application Specific Hardware Design},
  year = 	 2003,
  volume = 	 12,
  number = 	 3,
  pages =	 {261--303},
  month =	 dec,
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% References for SL
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

@Article{sl96ieeetse,
  author = 	 {F. Boussinot and R. de Simone},
  title = 	 {The SL Synchronous Language},
  journal = 	 {IEEE Trans. on Software Engineering},
  year = 	 1996,
  volume =	 22,
  number =	 4,
  pages =	 {256--266},
  month =	 apr,
}