pNets: An Expressive Model for Parameterised Networks of Processes.

Ludovic Henrio, Eric Madelaine, Min Madelaine

Browse the full PDP paper archive.