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
96
references
Top references
cited by
32
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,155
similar
All similar
Record
: found
Abstract
: not found
Article
: not found
Multiparty Asynchronous Session Types
Author(s):
Kohei Honda
,
Nobuko Yoshida
,
Marco Carbone
Publication date
Created:
March 30 2016
Publication date
(Print):
March 03 2016
Journal:
Journal of the ACM
Publisher:
Association for Computing Machinery (ACM)
Read this article at
ScienceOpen
Publisher
Further versions
oa repository (via OAI-PMH doi match)
oa repository (via OAI-PMH doi match)
Powered by
Review
Review article
Invite someone to review
Bookmark
Cite as...
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
MoRePaS 2018 - Model Reduction of Parametrized Systems IV
Most cited references
96
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
Book Chapter
: not found
Language primitives and type discipline for structured communication-based programming
Kohei Honda
,
Vasco Vasconcelos
,
Makoto Kubo
(1998)
0
comments
Cited
131
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Subtyping for session types in the pi calculus
Simon P Gay
,
Malcolm Hole
(2005)
0
comments
Cited
74
times
– based on
0
reviews
Review now
Bookmark
All references
Author and article information
Journal
Title:
Journal of the ACM
Abbreviated Title:
J. ACM
Publisher:
Association for Computing Machinery (ACM)
ISSN (Print):
00045411
Publication date Created:
March 30 2016
Publication date (Print):
March 03 2016
Volume
: 63
Issue
: 1
Pages
: 1-67
Article
DOI:
10.1145/2827695
SO-VID:
a9560361-3af5-4690-a5d7-c496c5066a09
Copyright ©
© 2016
License:
http://www.acm.org/publications/policies/copyright_policy#Background
History
Data availability:
Comments
Comment on this article
Sign in to comment
scite_
Similar content
1,155
A novel asynchronous deep reinforcement learning model with adaptive early forecasting method and reward incentive mechanism for short-term load forecasting
Authors:
Wenyu Zhang
,
Qian Qian Chen
,
Jianyong Yan
…
Asynchronous event driven distributed energy management using profile steering
Authors:
Dynamics of self-sustained asynchronous-irregular activity in random networks of spiking neurons with strong synapses
Authors:
Birgit Kriener
,
Håkon Enger
,
Tom Tetzlaff
…
See all similar
Cited by
30
Session-ocaml: A Session-Based Library with Polarities and Lenses
Authors:
Keigo Imai
,
Nobuko Yoshida
,
Shoji Yuen
Runtime Verification for Decentralised and Distributed Systems
Authors:
Adrian Francalanza
,
Jorge Pérez
,
Cesar Sanchez
The Paths to Choreography Extraction
Authors:
Luís Cruz-Filipe
,
Kim S. Larsen
,
Fabrizio Montesi
See all cited by
Most referenced authors
285
G Brown
R Hu
R. HU
See all reference authors