@misc{indiciae5815e5cd3fe6,
  title = {Unifying the Linear Time-Branching Time Spectrum of Process Semantics},
  author = {David de Frutos Escrig and Carlos Gregorio-Rodríguez and Miguel Palomino and David Romero Hernández},
  year = {2013},
  doi = {10.2168/lmcs-9(2:11)2013},
  url = {https://arxiv.org/abs/1304.6574},
  note = {Source identifier: 1304.6574}
}