BibTeX record journals/eatcs/CastellanoMP87

download as .bib file

@article{DBLP:journals/eatcs/CastellanoMP87,
  author    = {Luca Castellano and
               Giorgio De Michelis and
               Lucia Pomello},
  title     = {Concurrency versus interleaving: an instructuve example},
  journal   = {Bull. {EATCS}},
  volume    = {31},
  pages     = {12--14},
  year      = {1987}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics