Y
[Yi91] Wang Yi. CCS + Time = An Interleaving Model for Real Time Systems. In ICALP'91, Lecture Notes in Computer Science 510, pages 217-228. Springer-Verlag, July 1991. 
@inproceedings{icalp1991-Yi,
  author =              {Yi, Wang},
  title =               {{CCS} + Time = An~Interleaving Model for Real Time
                         Systems},
  editor =              {Albert, Javier Leach and Monien, Burkhard and
                         Rodr{\'\i}guez{-}Artalejo, Mario},
  booktitle =           {{P}roceedings of the 19th {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'91)},
  acronym =             {{ICALP}'91},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {510},
  pages =               {217-228},
  year =                {1991},
  month =               jul,
}
List of authors