Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities

Antti Puhakka. Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities. In 7th International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001, Skövde, Sweden. pages 80, IEEE Computer Society, 2001. [doi]

@inproceedings{Puhakka01:0,
  title = {Compositional Construction of Protocol Behaviours with Arbitrary Channel Capacities},
  author = {Antti Puhakka},
  year = {2001},
  url = {http://csdl.computer.org/comp/proceedings/iceccs/2001/1159/00/11590080abs.htm},
  tags = {protocol, composition},
  researchr = {https://researchr.org/publication/Puhakka01%3A0},
  cites = {0},
  citedby = {0},
  pages = {80},
  booktitle = {7th  International Conference on Engineering of Complex Computer Systems (ICECCS 2001), 11-13 June 2001,  Skövde, Sweden},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1159-7},
}