A Theory of Bisimulation for the [pi]-calculus

LFCS, Department of Computer Science, University of Edinburgh (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reviewed Work(s): Introduction to bisimulation and coinduction by Davide Sangiorgi; Advanced topics in bisimulation and coinduction by Davide Sangiorgi; Jan Rutten.Julian Gutierrez - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.
First order mathematical logic.Angelo Margaris - 1967 - New York: Dover Publications.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
The π -Calculus: A Theory of Mobile Processes.Davide Sangiorgi & David Walker - 2002 - Bulletin of Symbolic Logic 8 (4):530-531.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
Logic: theory and practice.M. K. Rennie - 1973 - Brisbane,: University of Queensland Press. Edited by Roderick A. Girle.
Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
Modal Logic, Transition Systems and Processes.Johan van Benthem, Jan van Eijck & Vera Stebletsova - unknown
Technical methods in philosophy.John L. Pollock - 1990 - Boulder: Westview Press.
An Introduction to Analysis.Wilson M. Zaring - 1967 - Macmillan.
Probability and Induction. [REVIEW]Ernest Nagel - 1950 - Journal of Philosophy 47 (19):545-551.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.
Introduction to elementary mathematical logic.Abram Aronovich Stolyar - 1970 - New York: Dover Publications. Edited by Elliott Mendelson.
On the Single Axioms of Protothetic.Boleslw Soboci Nski - 1960 - Notre Dame.

Analytics

Added to PP
2015-02-03

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references