Skip to search
Skip to main content
Saved Lists
Quicksearch Login
|
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch top menu
Saved Lists
Quicksearch Login
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch
All Fields
Title
Journal Title
Author/Creator
Series
Title Begins With
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Search
Advanced Search
Search Help
see all results by data source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Select Data Source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Clear Search
Books+ Search Results
Subject (Local Yale):
Is
Is
Is Not
Digital communications Mathematical models
Advanced Search
Basic Search
Help
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Add a row
Search
Reset
Limit results by
Format
Books (1)
Location
Sterling Memorial Library (1)
Language
English (1)
Publication date
{:"aria-label"=>"date-range"}
-
{:"aria-label"=>"date-range"}
Limit your search
Format
Books
1
Publication Date
1999
1
Author/Creator
Milner, R. (Robin), 1934-
1
Location
Sterling Memorial Library
1
Language
English
1
Subject
Mobile computing
1
Pi-calculus
1
Telecommunication systems
1
Subject (Local Yale)
Computer networks Mathematical models
1
Digital communications Mathematical models
✖
[remove]
1
Electronic data processing Mathematical models
1
LC Class
Q - Science
1
All results below
1
entry found
Toggle Menu
Display Options
10 per page
25 per page
50 per page
100 per page
Sort by Author/Creator Z-A
Relevance
Recently Added
Published Earliest
Published Latest
Author/Creator A-Z
Author/Creator Z-A
Title A-Z
Title Z-A
Selected
Items...
Send to Email
Export to EndNote
Export to RefWorks
Add to My Saved List
Select All Items
Clear All Items
Start Over
Checkbox
1.
Communicating and mobile systems : the [symbol for pi]-calculus
Author
Milner, R. (Robin), 1934-
Published
Cambridge, [England] ; New York : Cambridge University Press, 1999.
Location
SML, Stacks, LC Classification >>
QA76.59 M55 1999 (LC)
Format
Books
