Paper Description: LL96a
BibTeX entry:
@inproceedings{LL96a,
author = {U.~Lechner and C.~Lengauer},
title = {{Modal--$\mu$--Maude} ---
Specification and Properties of Concurrent Objects},
editor={B.~Freitag and C.B.~Jones and C.~Lengauer and H.-J.~Schek},
booktitle={Object Orientation with Parallelism and Persistence},
publisher ={Kluwer},
year = {1996},
pages = {23--42}
}
Authors:
Paper
Sorry, just the BibTeX entry - copyright restrictions!
Cross links:
Ulrike Lechner