?url_ver=Z39.88-2004&rft_id=10.1109%2FLICS.2005.46&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Castagna%2C+Giuseppe&rft.aulast=Castagna&rft.aufirst=Giuseppe&rft.isbn=0-7695-2266-1&rft.date=2005&rft.btitle=Logic+in+Computer+Science%2C+2005.+LICS+2005.+Proceedings.+20th+Annual+IEEE+Symposium+on&rft.title=Semantic+Subtyping+for+the+p-Calculus&rft.genre=bookitem