@article{DBLP:journals/entcs/PalamidessiP97,
author = {Catuscia Palamidessi and
Joachim Parrow},
title = {Foreword},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {7},
year = {1997},
pages = {1-2},
ee = {http://dx.doi.org/10.1016/S1571-0661(05)80461-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}