Initial Algebra and Final Coalgebra Semantics for Concurrency

Jan J. M. M. Rutten, Daniele Turi. Initial Algebra and Final Coalgebra Semantics for Concurrency. In J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg, editors, A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings. Volume 803 of Lecture Notes in Computer Science, pages 530-582, Springer, 1993.

@inproceedings{RuttenT93,
  title = {Initial Algebra and Final Coalgebra Semantics for Concurrency},
  author = {Jan J. M. M. Rutten and Daniele Turi},
  year = {1993},
  tags = {semantics,  algebra},
  researchr = {https://researchr.org/publication/RuttenT93},
  cites = {0},
  citedby = {0},
  pages = {530-582},
  booktitle = {A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
  editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg},
  volume = {803},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58043-3},
}