Ludovic Henrio, Eric Madelaine, Min Madelaine
pNets: An Expressive Model for Parameterised Networks of Processes
PDP, 2015.
@inproceedings{PDP-2015-HenrioMM,
author = "Ludovic Henrio and Eric Madelaine and Min Madelaine",
booktitle = "{Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing}",
doi = "10.1109/PDP.2015.70",
isbn = "978-1-4799-8491-6",
pages = "492--496",
publisher = "{IEEE}",
title = "{pNets: An Expressive Model for Parameterised Networks of Processes}",
year = 2015,
}











