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
38
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
3,400
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
3,400
BPhyOG: An interactive server for genome-wide inference of bacterial phylogenies based on overlapping genes
Authors:
Yingqin Luo
,
Cong Fu
,
Da-Yong Zhang
…
PsicquicGraph, a BioJS component to visualize molecular interactions from PSICQUIC servers.
Authors:
B. H. Habermann
,
J. Villaveces
,
Rafael C. Jimenez
PanglaoDB: a web server for exploration of mouse and human single-cell RNA sequencing data
Authors:
O. Franzén
,
L. S. Gan
,
Johan Björkegren
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