Your search returned 2 results.

Results
	1.	Communicating Sequential Processes. The First 25 Years [electronic resource] : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers / by Abdallah, Ali E [editor.] Jones, Cliff B [editor.] Sanders, Jeff W [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 3525 Edition: 1st ed. 2005. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Formal Aspects of Security [electronic resource] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers / by Abdallah, Ali E [editor.] Ryan, Peter [editor.] Schneider, Steve [editor.] SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 2629 Edition: 1st ed. 2003. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search