@article{Barnes/Welch:2003,
 author = {F.R.M. Barnes and P.H. Welch},
 title = {Prioritised Dynamic Communicating and Mobile Processes},
 year = 2003,
 journal = {{IEE Proceedings -- Software}},
 volume = 150,
 number = 2,
 month = apr,
}