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, }