BibTeX record conf/rex/RuttenT93

download as .bib file

@inproceedings{DBLP:conf/rex/RuttenT93,
  author    = {Jan J. M. M. Rutten and
               Daniele Turi},
  title     = {Initial Algebra and Final Coalgebra Semantics for Concurrency},
  booktitle = {{REX} School/Symposium},
  series    = {Lecture Notes in Computer Science},
  volume    = {803},
  pages     = {530--582},
  publisher = {Springer},
  year      = {1993}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics