ScienceOpen:
research and publishing network
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
My ScienceOpen
Sign in
Register
Dashboard
Blog
About
Search
Advanced search
My ScienceOpen
Sign in
Register
Dashboard
Search
Search
Advanced search
For Publishers
Discovery
Metadata
Peer review
Hosting
Publishing
For Researchers
Join
Publish
Review
Collect
Blog
About
37
views
11
references
Top references
cited by
20
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
5,327
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Programming Languages and Systems
Types and Subtypes for Client-Server Interactions
other
Author(s):
Simon Gay
,
Malcolm Hole
Publication date
(Online):
March 28 2002
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Special series on COVID-19 interactions with our Environment
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
Linear logic
Jean-Yves Girard
(1987)
0
comments
Cited
472
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A calculus of mobile processes, I
Robin Milner
,
Joachim Parrow
,
David Michael Walker
(1992)
0
comments
Cited
229
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
A partially deadlock-free typed process calculus
Naoki Kobayashi
(1998)
0
comments
Cited
17
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1999
Publication date (Online):
March 28 2002
Pages
: 74-90
DOI:
10.1007/3-540-49099-X_6
SO-VID:
07edf741-dc5d-45f1-a99b-4c1f216a1194
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 2
A Decidable Logic for Describing Linked Data Structures
pp. 74
Types and Subtypes for Client-Server Interactions
pp. 193
An Idealized MetaML: Simpler, and More Expressive
Similar content
5,327
Stigma in food service work: How it affects restaurant servers' intention to stay in the business or recommend a job to another
Authors:
Vivienne Wildes
Loop Improvement: An Efficient Approach for Extracting Shared Features from Heterogeneous Data without Central Server
Authors:
Fei Li
,
Chu Kiong Loo
,
Wei Shiung Liew
…
IHGA: An interactive web server for large-scale and comprehensive discovery of genes of interest in hepatocellular carcinoma
Authors:
Qiangnu Zhang
,
Weibin Hu
,
Lingfeng Xiong
…
See all similar
Cited by
20
Subtyping for session types in the pi calculus
Authors:
Simon P Gay
,
Malcolm Hole
Foundations of Session Types and Behavioural Contracts
Authors:
Hans Hüttel
,
Emilio Tuosto
,
Hugo Torres Vieira
…
An Implementation of Session Types
Authors:
Matthias Neubauer
,
Peter Thiemann
See all cited by