<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
% $Id: pi-calc.bib,v 1.1.1.1 2002/03/26 16:48:03 cclifton Exp $
%Subject: pi calculus refs?
%
%Sure, here's a pile of them.
%I recommend especially: Miln90c, Miln91c, Miln92b
%
%Cheers, Oscar
%
%
% converted from refer format by refer-to-bibtex 0.9.1 -- 13:50, 10 Jan 94
% r2b t1
%

@misc{Abra91a,
   author = {Samson Abramsky},
   title = {Proofs as Processes},
   year = {1991},
   keywords = {pcalc mobility (uwe)},
   note = {Vortrag auf dem International Symposium on Theoretical Computer    Science in honor of Boris Trakhtenbrot Tel-Aviv}
}

@misc{Abra92a,
   author = {Samson Abramsky},
   title = {An Introduction to ``On the $\backslash$pi-Calculus and Linear Logic''    by Gianluigi Bellin and Philip Scott},
   year = {1992},
   keywords = {pcalc mobility (uwe)},
   note = {Following Lecture Material on ``Proofs and Processes''}
}

@book{Ambl91a,
   author = {Simon Ambler},
   title = {A de Bruijn notation for the $\backslash$pi-calculus},
   publisher = {University of London},
   year = {1991},
   keywords = {pcalc mobility (uwe)}
}

@book{Andr92d,
   author = {Michael Andres and Anke Richter},
   title = {Beschreibung `mobiler Prozesse' mit Graphgrammatiken},
   publisher = {Studienarbeit, Universit$\backslash$:at Erlangen},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@article{Aste84a,
   author = {Egidio Astesiano and Elena Zucca},
   title = {Parametric Channels via Label Expressions in {CCS}},
   journal = {Theoretical Computer Science},
   volume = {33},
   pages = {45-64},
   year = {1984},
   keywords = {pcalc mobility (uwe)}
}

@misc{Bell92b,
   author = {Gianluigi Bellin and Philip Scott},
   title = {On the $\backslash$pi-Calculus and Linear Logic},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@inproceedings{Bore92a,
   author = {Michele Boreale and Rocco De Nicola},
   editor = {W.R. Cleaveland},
   title = {Testing Equivalences for Mobile Processes},
   booktitle = {Proceedings of CONCUR'92},
   series = {LNCS 630},
   pages = {2-16},
   publisher = {Springer-Verlag},
   year = {1992},
   keywords = {pcalc mobility equivalence concur92 binder}
}

@techreport{Boud92a,
   author = {G{\'{ }}erard Boudol},
   title = {Asynchrony and the $\backslash$pi-calculus (Note)},
   institution = {INRIA Sofia-Antipolis},
   type = {Rapporte de Recherche},
   number = {1702},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@techreport{Engb86a,
   author = {Uffe Engberg and M. Nielsen},
   title = {A Calculus of Communicating Systems with Label Passing},
   institution = {University of Aarhus},
   type = {DAIMI},
   number = {PB-208},
   year = {1986},
   keywords = {pcalc mobility eccs}
}

@incollection{Gay93a,
   author = {Simon Gay},
   title = {A Sort Inference Algorithm for the Polyadic $\backslash$pi-Calculus},
   booktitle = {Principles of Programming Languages},
   publisher = ACM,
   year = {1993},
   keywords = {pcalc mobility (uwe)}
}

@techreport{Henn91a,
   author = {Matthew Hennessy},
   title = {A Model for the $\backslash$pi Calculus},
   institution = {University of Sussex},
   type = {Report},
   number = {8/91},
   year = {1991},
   keywords = {pcalc mobility (uwe)}
}

@techreport{Henn92b,
   author = {Matthew Hennessy and H. Lin},
   title = {Symbolic Bisimulations},
   institution = {University of Sussex},
   type = {Report},
   number = {01/92},
   year = {1992},
   keywords = {pcalc mobility binder}
}

@techreport{Hond90a,
   author = {Kohei Honda and Mario Tokoro},
   title = {Objects and Calculi},
   institution = {Keio University},
   type = {manuscript},
   month = {Oct. 20},
   year = {1990},
   keywords = {pcalc-obc mobility binder}
}

@inproceedings{Hond91a,
   author = {Kohei Honda and Mario Tokoro},
   editor = {P. America},
   title = {An Object Calculus for Asynchronous Communication},
   booktitle = {Proceedings ECOOP '91},
   series = {LNCS 512},
   pages = {133-147},
   publisher = {Springer-Verlag},
   address = {Geneva, Switzerland},
   month = {July 15-19},
   year = {1991},
   keywords = {pcalc-obc mobility equivalence ecoop91}
}

@unpublished{Hond92a,
   author = {Kohei Honda},
   title = {Reduction Theories for Concurrent Calculi -- Behavioural Semantics    without Observables},
   type = {draft},
   month = {Dec 23},
   year = {1992},
   keywords = {pcalc-obc mobility binder},
   note = {Keio University}
}

@unpublished{Hond92b,
   author = {Kohei Honda},
   title = {Representing Functions in an Object Calculus},
   type = {draft},
   month = {Oct 20},
   year = {1992},
   keywords = {pcalc-obc mobility binder},
   note = {submitted for publicatedKeio University}
}

@unpublished{Hond92c,
   author = {Kohei Honda},
   title = {Two Bisimilarities in $\backslash$nu-calculus},
   type = {draft},
   month = {Oct 9},
   year = {1992},
   keywords = {pcalc-obc mobility binder},
   note = {Keio University}
}

@inproceedings{Hond92d,
   author = {Kohei Honda and Mario Tokoro},
   editor = {M. Tokoro and O. Nierstrasz and P. Wegner},
   title = {On Asynchronous Communication Semantics},
   booktitle = {Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing},
   series = {LNCS 612},
   pages = {21-51},
   publisher = {Springer-Verlag},
   year = {1992},
   keywords = {pcalc-obc mobility equivalence concurrency91 binder}
}

@unpublished{Hond92e,
   author = {Kohei Honda},
   title = {On Interaction Types},
   type = {draft},
   month = {Aug 17},
   year = {1992},
   keywords = {pcalc-obc mobility types binder},
   note = {submitted for publicatedKeio University}
}

@unpublished{Hond92f,
   author = {Kohei Honda},
   title = {Types for Dyadic Interaction},
   type = {draft},
   month = {Dec 23},
   year = {1992},
   keywords = {pcalc-obc mobility types binder},
   note = {Keio University}
}

@inproceedings{Jaga90a,
   author = {Radha Jagadeesan and Prakash Panangaden},
   editor = {M.S. Paterson},
   title = {A Domain-theoretic Model for a Higher-order Process Calculus},
   booktitle = {Proceedings ICALP '90},
   series = {LNCS 443},
   pages = {181-194},
   publisher = {Springer-Verlag},
   address = {Warwick U.},
   month = jul,
   year = {1990},
   keywords = {pcalc mobility icalp90 binder(conc)}
}

@techreport{Jone92a,
   author = {Cliff B. Jones},
   title = {An Object-Based Design Method for Concurrent Programs},
   institution = {University of Manchester},
   type = {UMCS-92-12-1},
   year = {1992},
   keywords = {olit-obc pobl pcalc mobility binder},
   abstract = {$\backslash$n$\backslash$nThe property of a (formal) development method which gives the
   development process the potential for productivity is
   compositionality.  Interference is what makes it difficult to find
   compositional development methods for concurrent systems.  This
   paper is intended to contribute to tractable development methods for
   concurrent programs.  In particular it explores ways in which
   object-based language concepts can be used to provide a
   compositional development method for concurrent programs.  This text
   summarizes results from three draft papers.  It firstly shows how
   object-based concepts can be used to provide a designer with control
   over interference and proposes a transformational style of
   development (for systems with limited interference) in which
   concurrency is introduced only in the final stages of design.  The
   essential idea here is to show that certain object graphs limit
   interference.  Secondly, the paper shows how a suitable logic can be
   used to reason about those systems where interference plays an
   essential role.  Here again, concepts are used in the design
   notation which are taken from object-oriented languages since they
   offer control of granularity and way of pinpointing interference.
   Thirdly, the paper outlines the semantics of the design notation
   mapping its constructs to Milner's $\backslash$pic.}
}

@techreport{Jone93a,
   author = {Cliff B. Jones},
   title = {Process-Algebraic Foundations for an Object-Based Design Notation},
   institution = {University of Manchester},
   type = {UMCS-93-10-1},
   year = {1993},
   keywords = {olit-obc pobl pcalc mobility binder},
   abstract = {$\backslash$n$\backslash$nEarlier papers give examples of the development of concurrent
   programs using $\backslash$pobl\ which is a design notation employing concepts
   from object-oriented programming languages.  Use is made of
   constraints on the $\lbrace$$\backslash$m object graphs$\rbrace$ to limit interference and
   assertions over such graphs to reason about about interference.
   This report merges (and corrects minor inconsistencies between) two
   papers which document the semantics of $\backslash$pobl\ by providing a mapping
   to the $\backslash$pic\ and indicate how arguments about the design notation
   might be based on that semantics.  It also reflects some recent work
   not cited in the earlier papers.}
}

@inproceedings{Jone93b,
   author = {Cliff B. Jones},
   editor = {E. Best},
   title = {A pi-calculus Semantics for an Object-Based Design Notation},
   booktitle = {Proceedings of CONCUR'93},
   series = {LNCS 715},
   pages = {158-172},
   publisher = {Springer-Verlag},
   year = {1993},
   keywords = {olit-obc pobl pcalc mobility concur93 binder}
}

@incollection{Kenn82a,
   author = {J. Kennaway and M. Sleep},
   title = {Expressions as Processes},
   booktitle = {LISP and Functional Programming},
   pages = {21-28},
   publisher = ACM,
   year = {1982},
   keywords = {pcalc mobility (uwe)}
}

@incollection{Kenn83a,
   author = {J. Kennaway and M. Sleep},
   title = {Syntax and Informal Semantics of DyNe, a Parallel Language},
   booktitle = {The Analysis of Concurrent Systems},
   series = {LNCS 207},
   pages = {222-230},
   publisher = {Springer},
   year = {1983},
   keywords = {pcalc mobility (uwe)}
}

@book{Lane92a,
   author = {Cosimo Laneve and Ugo Montanari},
   title = {Mobility in the {CC}-Paradigm},
   series = {LNCS 629},
   pages = {336-345},
   publisher = {Springer},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@phdthesis{Leth91a,
   author = {Lone Leth},
   title = {Functional Programs as Reconfigurable Networks of Communicating Processes},
   school = {Imperial College, University of London},
   type = {Ph.{D}. Thesis},
   year = {1991},
   keywords = {pcalc mobility (uwe)}
}

@techreport{Leth92a,
   author = {Lone Leth},
   title = {A New Direction in Functions as Processes},
   institution = {European Computer-Industry Research Centre, Munich},
   type = {ECRC-92-5},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@techreport{Miln89b,
   author = {Robin Milner and Joachim Parrow and David Walker},
   title = {A Calculus of Mobile Processes, Parts {I} and {II}},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {Reports ECS-LFCS-89-85 and},
   number = {-86},
   month = mar,
   year = {1989},
   keywords = {pcalc mobility ccs binder (shelf)}
}

@book{Miln89c,
   author = {Robin Milner},
   title = {Functions as Processes},
   publisher = {University of Edinburgh},
   month = jun,
   year = {1989},
   keywords = {pcalc mobility ccs binder(ccs)},
   note = {Working paper}
}

@techreport{Miln90b,
   author = {Robin Milner},
   title = {Functions as Processes},
   institution = {INRIA Sofia-Antipolis},
   type = {Rapport de Recherche},
   number = {1154},
   year = {1990},
   keywords = {pcalc mobility (uwe)}
}

@inproceedings{Miln90c,
   author = {Robin Milner},
   editor = {M.S. Paterson},
   title = {Functions as Processes},
   booktitle = {Proceedings ICALP '90},
   series = {LNCS 443},
   pages = {167-180},
   publisher = {Springer-Verlag},
   address = {Warwick U.},
   month = jul,
   year = {1990},
   keywords = {pcalc mobility ccs icalp90 binder(ccs)}
}

@techreport{Miln90d,
   author = {Robin Milner},
   title = {Sorts and Types in the $\backslash$pi Calculus},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {manuscript},
   number = {(RM15)},
   month = dec,
   year = {1990},
   keywords = {pcalc mobility ccs icalp90 binder(ccs)}
}

@misc{Miln91b,
   author = {Robin Milner},
   title = {Concurrency and Compositionality},
   year = {1991},
   keywords = {pcalc mobility (uwe)},
   note = {Workshop at Goslar}
}

@techreport{Miln91c,
   author = {Robin Milner},
   title = {The Polyadic $\backslash$pi Calculus},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {ECS-LFCS-91-180},
   month = oct,
   year = {1991},
   keywords = {pcalc mobility binder}
}

@inproceedings{Miln91d,
   author = {Robin Milner and Joachim Parrow and David Walker},
   editor = {J.C.M. Baeten and J.F. Groote},
   title = {Modal Logics for Mobile Processes},
   booktitle = {Proceedings of CONCUR'91},
   series = {LNCS 527},
   pages = {45-60},
   publisher = {Springer-Verlag},
   address = {Amsterdam},
   month = aug,
   year = {1991},
   keywords = {pcalc mobility equivalence concur91 binder}
}

@article{Miln92b,
   author = {Robin Milner and Joachim Parrow and David Walker},
   title = {A Calculus of Mobile Processes, Part {I}/{II}},
   journal = {Information and Computation},
   volume = {100},
   pages = {1-77},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@article{Miln92c,
   author = {Robin Milner},
   title = {Functions as Processes},
   journal = {Mathematical Structures in Computer Science},
   volume = {2},
   number = {2},
   pages = {119-141},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@inproceedings{Miln92d,
   author = {Robin Milner and Davide Sangiorgi},
   title = {Barbed Bisimulation},
   booktitle = {Proceedings ICALP '92},
   series = {LNCS 623},
   pages = {685-695},
   publisher = {Springer-Verlag},
   address = {Vienna},
   year = {1992},
   keywords = {pcalc mobility equivalence ccs icalp92 binder}
}

@inproceedings{Nier92a,
   author = {Oscar Nierstrasz},
   editor = {M. Tokoro and O. Nierstrasz and P. Wegner},
   title = {Towards an Object Calculus},
   booktitle = {Proceedings of the ECOOP '91 Workshop on Object-Based Concurrent Computing},
   series = {LNCS 612},
   pages = {1-20},
   publisher = {Springer-Verlag},
   year = {1992},
   keywords = {pcalc-obc mobility oc obc91 of92 osg-ftp-book},
   abstract = {$\backslash$n$\backslash$nThe development of concurrent object-based programming languages has
   suffered from the lack of any generally accepted formal foundations for
   defining their semantics.  Furthermore, the delicate relationship
   between object-oriented features supporting reuse and operational
   features concerning interaction and state change is poorly understood
   in a concurrent setting.  To address this problem, we propose the
   development of an object calculus, borrowing heavily from relevant work
   in the area of process calculi.  To this end, we briefly review some of
   this work, we pose some informal requirements for an object calculus,
   and we present the syntax, operational semantics and use through
   examples of a proposed object calculus, called OC.}
}

@incollection{Orav90a,
   author = {Fredrik Orava and Joachim Parrow},
   title = {Algebraic Descriptions of Mobile Networks: An Example},
   booktitle = {Protocol Specification, Testing and Verfication, X},
   pages = {275-291},
   publisher = {IFIP, North-Holland},
   year = {1990},
   keywords = {pcalc mobility (uwe)}
}

@article{Orav92a,
   author = {Fredrik Orava and Joachim Parrow},
   title = {An Algebraic Verification of a Mobile Network},
   journal = {Formal Aspects of Computing},
   volume = {4},
   number = {6},
   pages = {497-543},
   year = {1992},
   keywords = {pcalc mobility (uwe)}
}

@unpublished{Parr93a,
   author = {Joachim Parrow and Davide Sangiorgi},
   title = {Axiomatisations for $\backslash$pi-calculus},
   type = {draft},
   year = {1993},
   keywords = {pcalc mobility (uwe)},
   note = {In preparation}
}

@techreport{Pier93a,
   author = {Benjamin C. Pierce and Didier R{\'{ }}emy and David N. Turner},
   title = {Typed Higher-Order Programming Language Based on the Pi-Calculus},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {technical report},
   month = jul,
   year = {1993},
   keywords = {pcalc mobility binder}
}

@inproceedings{Pier93b,
   author = {Benjamin C. Pierce and Davide Sangiorgi},
   title = {Typing and Subtyping for Mobile Processes},
   booktitle = {Proceedings 8th IEEE Logics in Computer Science},
   address = {Montreal},
   month = jun,
   year = {1993},
   keywords = {pcalc mobility lics93 binder},
   note = {to appear}
}

@techreport{Sang91a,
   author = {Davide Sangiorgi},
   title = {The Lazy Lambda calculus in a Concurrency Scenario},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {ECS-LFCS-91-189},
   month = nov,
   year = {1991},
   keywords = {pcalc mobility types concurrency binder}
}

@unpublished{Sang92b,
   author = {Davide Sangiorgi},
   title = {An Investigation into Functions as Processes},
   type = {draft manuscript},
   year = {1992},
   keywords = {pcalc mobility hopi pi ccs binder},
   note = {submitted for publicationComputer Science Dept., University of Edinburgh}
}

@unpublished{Sang92c,
   author = {Davide Sangiorgi},
   title = {From $\backslash$pi-calculus to Higher-Order $\backslash$pi-calculus -- and back},
   type = {draft manuscript},
   year = {1992},
   keywords = {pcalc mobility hopi pi ccs binder},
   note = {Computer Science Dept., University of Edinburgh}
}

@phdthesis{Sang93a,
   author = {Davide Sangiorgi},
   title = {Expressing Mobility in Process Algebras: First-Order and    Higher-Order Paradigms},
   school = {Computer Science Dept., University of Edinburgh},
   type = {Ph.{D}. Thesis},
   number = {CST-99-93 (also: ECS-LFCS-93-266)},
   month = may,
   year = {1993},
   keywords = {pcalc mobility hopi pi ccs binder (shelf)}
}

@unpublished{Sang93b,
   author = {Davide Sangiorgi},
   title = {Locality and True-Concurrency in Calculi for Mobile Processes},
   type = {draft manuscript},
   month = aug,
   year = {1993},
   keywords = {pcalc mobility hopi pi ccs binder (shelf)},
   note = {Computer Science Dept., University of Edinburgh}
}

@inproceedings{Thom89a,
   author = {Bent Thomsen},
   title = {A Calculus of Higher Order Communicating Systems},
   booktitle = {Proceedings POPL '89},
   pages = {143-154},
   address = {Austin, Texas},
   month = {Jan 11-13},
   year = {1989},
   keywords = {pcalc mobility equivalence chocs binder(ccs) popl89}
}

@phdthesis{Thom90a,
   author = {Bent Thomsen},
   title = {Calculi for Higher Order Communicating Systems},
   school = {Imperial College},
   type = {Ph.{D}. Thesis},
   address = {London},
   year = {1990},
   keywords = {pcalc mobility equivalence chocs binder (shelf)}
}

@unpublished{Vasc92b,
   author = {Vasco Vasconcelos and Kohei Honda},
   title = {Principle Typing-Schemes in a Polyadic $\backslash$pi-calculus (extanded abstract)},
   type = {draft},
   month = {Nov 14},
   year = {1992},
   keywords = {pcalc-obc mobility types binder},
   note = {Keio University}
}

@unpublished{Vasc92c,
   author = {Vasco Vasconcelos},
   title = {({A} Preliminary Note on) {A} Simple Polymorphic Object Calculus},
   type = {draft},
   month = {Dec 17},
   year = {1992},
   keywords = {pcalc-obc mobility types binder},
   note = {Keio University}
}

@techreport{Walk90a,
   author = {David Walker},
   title = {$\backslash$pi-calculus Semantics of Object-Oriented Programming Languages},
   institution = {Computer Science Dept., University of Edinburgh},
   type = {Report},
   number = {ECS-LFCS-90-122},
   month = oct,
   year = {1990},
   keywords = {pcalc-obc mobility semantics ccs binder (shelf)}
}

@incollection{Walk91a,
   author = {David Walker},
   editor = {A. Yonezawa and T. Ito},
   title = {Some Results on the $\backslash$pi-calculus},
   booktitle = {Concurrency: Theory, Language and Architecture},
   series = {LNCS 491},
   pages = {21-35},
   publisher = {Springer-Verlag},
   year = {1991},
   keywords = {pcalc-obc mobility binder(css)}
}

@unpublished{Walk93a,
   author = {David Walker},
   title = {Process Calculus and Parallel Object-Oriented Programming Languages},
   type = {draft manuscript},
   year = {1993},
   keywords = {pcalc-obc mobility semantics ccs binder},
   note = {University of Warwick}
}

@article{Walk93b,
   author = {David Walker},
   title = {Objects in the $\backslash$pi-calculus},
   journal = {Information and Computing},
   year = {1993},
   keywords = {pcalc-obc mobility semantics ccs binder (shelf)},
   note = {to appear}
}

@techreport{Yosh92a,
   author = {Nobuko Yoshida},
   title = {An Encoding of a Functional Calculus in an Interaction Calculus},
   type = {submission to ECOOP 92 workshop on Object-Based Concurrency and Reuse},
   year = {1992},
   keywords = {olit-obc mobility pcalc obc92 binder}
}