@inproceedings{DBLP:conf/agp/LiP96,
author = {Renwei Li and
Lu\'{\i}s Moniz Pereira},
title = {Reasoning about Concurrent Actions and Observations},
booktitle = {APPIA-GULP-PRODE},
year = {1996},
pages = {549-560},
crossref = {DBLP:conf/agp/1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/agp/1996,
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
booktitle = {APPIA-GULP-PRODE},
year = {1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2004-11-29 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page