Davide Sangiorgi and David Walker. The π-calculus: a theory of mobile processes. Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp

Hans Hüttel

Davide Sangiorgi and David Walker. The π-calculus: a theory of mobile processes. Cambridge University Press, Cambridge, New York, etc., 2001, xii + 580 pp [Book Review]

Bulletin of Symbolic Logic 8 (4):530-531 (2002)

Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic (categorize this paper)
DOI	10.2178/bsl/1182353926
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

PhilArchive copy

Upload a copy of this paper Check publisher's policy Papers currently archived: 55,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Π -Calculus: A Theory of Mobile Processes.Davide Sangiorgi & David Walker - 2002 - Bulletin of Symbolic Logic 8 (4):530-531.

Davide Sangiorgi. Introduction to Bisimulation and Coinduction. Cambridge University Press, 2012, 247 Pp. - Advanced Topics in Bisimulation and Coinduction, Edited by Davide Sangiorgi and Jan Rutten, Cambridge Tracts in Theoretical Computer Science, Vol. 52. Cambridge University Press, 2012, 326 Pp. [REVIEW]Julian Gutierrez - 2013 - Bulletin of Symbolic Logic 19 (1):108-110.

Paul Sheldon Davies,. A Bradford Book. Cambridge, Mass.: MIT Press, 2001; Peter McLaughlin,. Cambridge: Cambridge University Press, 2001; Del Ratzsch,. Albany: State University of New York Press, 2001. [REVIEW]Matthew Ratcliffe - 2003 - Metascience 12 (3):312-321.

The Civil War and its Aftermath.Tim Harris - 1996 - The European Legacy 1 (8):2284-2289.

Review Essay / What Kind of Order?Robert Jackall - 2003 - Criminal Justice Ethics 22 (2):54-66.

Sven Ove Hansson. The Structure of Values and Norms. Cambridge Studies in Probability, Induction, and Decision Theory. Cambridge University Press, Cambridge, New York, Etc., 2001, Xiii + 314 Pp. [REVIEW]Patrice Bailhache - 2002 - Bulletin of Symbolic Logic 8 (4):531-533.

Paul Sheldon Davies, Norms of Nature: Naturalism and the Nature of Function. A Bradford Book. Cambridge, Mass.: MIT Press, 2001; Peter McLaughlin, What Functions Explain: Functional Explanation and Self-Reproducing Systems. Cambridge: Cambridge University Press, 2001; Del Ratzsch, Nature, Design, and Science: The Status of Design in Natural Science. Albany: State University of New York Press, 2001. [REVIEW]Matthew Ratcliffe - 2003 - Metascience 12 (3):312-321.

Literacy, Authorship, and Belief in Medieval and Renaissance Europe.Greg Walker - 1996 - The European Legacy 1 (8):2280-2283.

D. Wade Hands. Reflection Without Rules: Economic Methodology and Contemporary Science Theory. Xii + 480 Pp., Figs., Bibls., Index. Cambridge/New York: Cambridge University Press, 2001. $95 ; $34.95. [REVIEW]John M. Vickers - 2002 - Isis 93 (2):350-350.

Citizens of the World: Universal Human Rights in a World of Difference by Brooke A. Ackerly. Cambridge, UK: Cambridge University Press, 2008. 373 Pp. $90.00 , $34.99 . The Global Commonwealth of Citizens: Toward Cosmopolitan Democracies by Daniele Archibugi. Princeton, NJ: Princeton University Press, 2008. 298 Pp. $29.95 . Ethics of Global Development: Agency, Capability and Deliberative Democracy by David A. Crocker. Cambridge, UK: Cambridge University Press, 2008. 416 Pp. $99.00 , $43.00 . The Future Governance of Citizenship by Dora Kostakopoulou. Cambridge, UK: Cambridge University Press, 2008. 230 Pp. $120.00 , $48.00. [REVIEW]Christine Sypnowich - 2010 - Political Theory 38 (1):156-168.

David L. Hull. Science and Selection: Essays on Biological Evolution and the Philosophy of Science. X + 267 Pp., Illus., Bibl., Index. Cambridge/New York: Cambridge University Press, 2001. $54.95 ; $19.95. [REVIEW]Peter J. Bowler - 2004 - Isis 95 (1):174-174.

F REDERICK B URKHARDT, D UNCAN M. P ORTER Et Al. , The Correspondence of Charles Darwin, Volume 12: 1864. Cambridge: Cambridge University Press, 2001. Pp. Xl+694. ISBN 0-521-59034-5. £55.00 . Volume 13: 1865. With Supplement to the Correspondence 1822–1864. Cambridge: Cambridge University Press, 2002. Pp. Xl+695. ISBN 0-521-82413-3. £65.00 . Volume 14: 1866. Cambridge: Cambridge University Press, 2004. Pp. Xl+655. ISBN 0-521-84459-2. £75.00. [REVIEW]Jonathan Hodge - 2006 - British Journal for the History of Science 39 (2):301-302.

Audi, Robert, Religious Commitment and Secular Reason (Cambridge: Cambridge University Press, 2000), 258 Pages. Barber, Michael D., Equality and Diversity: Phenomenological Investigations of Prejudice and Discrimination (Amherst: Prometheus Books, 2001), 296 Pages. Barry, Brian, Culture and Equality (Cambridge: Harvard University Press, 2001). [REVIEW]David Bostock, Klaus Brinkmann, Jean-Pierre Changeux & Paul Ricoeur - 2001 - The Journal of Ethics 5:411-413.

Mayberry J. P.. The Foundations of Mathematics in the Theory of Sets. Encyclopedia of Mathematics and its Applications, Vol. 82. Cambridge University Press, Cambridge 2000, New York 2001, Etc., Xx + 424 Pp. [REVIEW]W. W. Tait - 2002 - Bulletin of Symbolic Logic 8 (3):424-426.

Patrick Blackburn, Maarten De Rijke, and Yde Venema. Modal Logic. Cambridge Tracts in Theoretical Computer Science, No. 53. Cambridge University Press, Cambridge, New York, Etc., 2001, Xxii + 554 Pp. [REVIEW]Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.

Analytics

Added to PP index
2016-06-30

Total views
26 ( #396,632 of 2,401,713 )

Recent downloads (6 months)
1 ( #551,964 of 2,401,713 )

How can I increase my downloads?

Downloads