Roberto Bruni
A logic for modular descriptions of asynchronous and synchronized concurrent systems
WRLA, 1998.
@article{WRLA-1998-Bruni,
author = "Roberto Bruni",
doi = "10.1016/S1571-0661(05)80760-1",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "161--172",
title = "{A logic for modular descriptions of asynchronous and synchronized concurrent systems}",
volume = 15,
year = 1998,
}