Rajeev Joshi, Jayadev Misra. Maximally Concurrent Programs. Formal Asp. Comput., 12(2):100-119, 2000. [doi]
@article{JoshiM00:0,
title = {Maximally Concurrent Programs},
author = {Rajeev Joshi and Jayadev Misra},
year = {2000},
url = {http://link.springer.de/link/service/journals/00165/bibs/0012002/00120100.htm},
researchr = {https://researchr.org/publication/JoshiM00%3A0},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {12},
number = {2},
pages = {100-119},
}