Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as a series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow informat...

M. Jongmans, P. Hoogerbrugge, L. Hilkens, U. Flucke, I. van der Burgt, K. Noordam, M. Ruiterkam-Versteeg, H. Yntema, W. Nillesen, M. Ligtenberg, A. Geurts-van Kessel, R. Kuiper, N. Hoogerbrugge 1 Radboud University Nijmegen Medical Centre, Human Genetics, Nijmegen, The Netherlands 2 Radboud University Nijmegen Medical Centre, Paediatric Oncology, Nijmegen, The Netherlands 3 Radboud University N...

P144 Influence of diet on oocyst output and intestinal lesion development in Coccivac®-D vaccinated replacement broiler breeders reared on new and used litter. L. A. Oden*1, D. J. Caldwell1, S. K. Pohl1, A. E. Klein1, S. Young2, C. Broussard3, S. Fitz-Coy3, L. Newmann3, and J. T. Lee1, 1Department of Poultry Science, Agrilife Research, Texas A&M System, College Station, 2Pilgrim’s Pride Corpora...

Session types describe the structure of protocols from the point of view of each participating channel. In particular, the types describe the type of communicated values, and also the dynamic alternation of input and output actions on the same channel, by which a protocol can be statically verified. Crucial to any term language with session types is the notion of linearity, which guarantees tha...