B
[BKP86] Howard Barringer, Ruurd Kuiper et Amir Pnueli. A Really Abstract Concurrent Model and its Temporal Logic. In POPL'86, pages 173-183. ACM Press, janvier 1986. 
@inproceedings{popl1986-BKP,
  author =              {Barringer, Howard and Kuiper, Ruurd and Pnueli,
                         Amir},
  title =               {A Really Abstract Concurrent Model and its Temporal
                         Logic},
  booktitle =           {Conference Record of the 13th {ACM} {S}ymposium on
                         {P}rinciples of {P}rogramming {L}anguages
                         ({POPL}'86)},
  acronym =             {{POPL}'86},
  publisher =           {ACM Press},
  pages =               {173-183},
  year =                {1986},
  month =               jan,
}
Liste des auteurs