A Canonical Algebra of Open Transition Systems (bibtex)

by Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Paweł Sobociński

Reference:

Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Paweł Sobociński, A Canonical Algebra of Open Transition Systems, In Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Gwen Salaün, Anton Wijs, eds.), Springer, vol. 13077, pp. 63–81, 2021.

Bibtex Entry:

@inproceedings{DBLP:conf/facs2/LavoreGRS021,
  author    = {Elena Di Lavore and
               Alessandro Gianola and
               Mario Rom{\'{a}}n and
               Nicoletta Sabadini and
               Pawe{\l} Soboci{\'{n}}ski},
  editor    = {Gwen Sala{\"{u}}n and
               Anton Wijs},
  title     = {A Canonical Algebra of Open Transition Systems},
  booktitle = {Formal Aspects of Component Software - 17th International Conference,
               {FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13077},
  pages     = {63--81},
  publisher = {Springer},
  year      = {2021},
  url       = {https://doi.org/10.1007/978-3-030-90636-8\_4},
  doi       = {10.1007/978-3-030-90636-8\_4},
  timestamp = {Sat, 25 Dec 2021 15:52:32 +0100},
  biburl    = {https://dblp.org/rec/conf/facs2/LavoreGRS021.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}