?url_ver=Z39.88-2004&rft_id=10.1007%2F978-3-540-73859-6_15&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.aufirst=Fabio&rft.aulast=Gadducci&rft.au=Gadducci%2C+Fabio&rft.isbn=978-3-540-73857-2&rft.title=Graphical+Encoding+of+a+Spatial+Logic+for+the+pi-Calculus&rft.btitle=Algebra+and+Coalgebra+in+Computer+Science+(CALCO%E2%80%9907)&rft.date=2007&rft.genre=bookitem