skip to content
<>. Preview this item
ClosePreview this item
Checking...

The π-calculus a theory of mobile processes /

Author: Davide Sangiorgi ... [and] David Walker ... ; Davide Sangiorgi; David Walker
Publisher: Cambridge : Cambridge University Press, cop. 2001.
Edition/Format:   Print book : English
Summary:

A detailed text on the p-calculus, a mathematical model highly suited to describing mobile systems, the components of which communicate and change their structure. The book is written at the graduate  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Davide Sangiorgi ... [and] David Walker ... ; Davide Sangiorgi; David Walker
ISBN: 0521781779 9780521781770 0521543274 9780521543279
OCLC Number: 492823826
Description: 1 v. (XII-580 p.) ; 26 cm
Contents: Preface; Introduction; Part I. The p-Calculus: 1. Processes; 2. Behavioural equivalence; Part II. Variations of the p-Calculus: 3. Polyadicity and recursion; 4. Behavioural equivalence, continued; 5. Subcalculi; Part III. Typed p-Calculi: 6. Foundations; 7. Subtyping; 8. Advanced type systems; Part IV. Reasoning about Processes Using Types: 9. Groundwork; 10. Behavioural effects of i/o types; 11. Techniques for advanced type systems; Part V. The Higher-Order Paradigm: 12. Higher-order p-calculus; 13. Comparing first-order and higher-order calculi; Part VI. Functions as Processes: 14. The l-calculus; 15. Interpreting l-calculi; 16. Interpreting typed l-calculi; 17. Full abstraction; 18. The local structure of the interpretations; Part VII. Objects and p-Calculus: 19. Semantic definition; 20. Applications; List of notations; Bibliography; Index.
Other Titles: Pi-calculus

Reviews

Editorial reviews

Publisher Synopsis

"Sangiorgi and Walker have written an extremely valuable account of the pi-calculus which should be appreciated by researchers in theoretical computer science and related areas of symbolic logic, as Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/492823826> # The π-calculus a theory of mobile processes
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "492823826" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3901782082#Place/cambridge> ; # Cambridge
   schema:about <http://experiment.worldcat.org/entity/work/data/3901782082#Topic/pi_calcul> ; # Pi-calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/3901782082#Topic/radiocommunications_mobiles> ; # Radiocommunications mobiles
   schema:about <http://experiment.worldcat.org/entity/work/data/3901782082#Topic/informatique_mobile> ; # Informatique mobile
   schema:about <http://experiment.worldcat.org/entity/work/data/3901782082#Topic/modele_a_objet> ; # modèle à objet
   schema:about <http://dewey.info/class/004.6/e21/> ;
   schema:alternateName "Pi-calculus" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/91982746> ; # David Walker
   schema:copyrightYear "2001" ;
   schema:copyrightYear "op." ;
   schema:creator <http://viaf.org/viaf/9335147> ; # Davide Sangiorgi
   schema:datePublished "2001" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3901782082> ;
   schema:inLanguage "en" ;
   schema:name "The π-calculus a theory of mobile processes"@en ;
   schema:productID "492823826" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/492823826#PublicationEvent/cambridge_cambridge_university_press_cop_2001> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3901782082#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521781770> ;
   schema:workExample <http://worldcat.org/isbn/9780521543279> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/492823826> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3901782082#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901782082#Topic/informatique_mobile> # Informatique mobile
    a schema:Intangible ;
   schema:name "Informatique mobile" ;
    .

<http://experiment.worldcat.org/entity/work/data/3901782082#Topic/radiocommunications_mobiles> # Radiocommunications mobiles
    a schema:Intangible ;
   schema:name "Radiocommunications mobiles" ;
    .

<http://viaf.org/viaf/91982746> # David Walker
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:deathDate "," ;
   schema:familyName "Walker" ;
   schema:givenName "David" ;
   schema:name "David Walker" ;
    .

<http://viaf.org/viaf/9335147> # Davide Sangiorgi
    a schema:Person ;
   schema:birthDate "1964" ;
   schema:deathDate "," ;
   schema:familyName "Sangiorgi" ;
   schema:givenName "Davide" ;
   schema:name "Davide Sangiorgi" ;
    .

<http://worldcat.org/isbn/9780521543279>
    a schema:ProductModel ;
   schema:isbn "0521543274" ;
   schema:isbn "9780521543279" ;
    .

<http://worldcat.org/isbn/9780521781770>
    a schema:ProductModel ;
   schema:isbn "0521781779" ;
   schema:isbn "9780521781770" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.