@inproceedings{DBLP:conf/concur/BryansDS95,
  title = "Towards a denotational semantics for {ET-LOTOS}",
  author = "Jeremy Bryans and Jim Davies and Steve Schneider",
  year = "1995",
  crossref = "DBLP:conf/concur/1995",
  pages = "269-283",
}