Technical Report 96-02 Naoki Kobayashi September 1996 Department of...  Home/Search
Context
Related
| is.s.utokyo.ac.jp...9602letter.ps.gz is.s.utokyo.ac.jp/t...TR9602a4.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: is.s.utokyo.ac.jp/techr...FILES (more) From: is.s.utokyo.ac.jp/techr...FILES (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Concurrency primitives play an important role in describing programs on parallel /distributed environments and also in writing interactive programs. Theoretical supports for concurrency primitives, however, have so far been very limited. Several type systems have been recently proposed through process calculi, but most of them do not solve inherent problems in concurrent programs: deadlock and non-determinism. We propose a novel type system that ensures both partial deadlock-freedom and partial ... (Update)
Similar documents (at the sentence level):
11.5%: A Partially Deadlock-free Typed Process Calculus (II) - Kobayashi (1997) (Correct)
Active bibliography (related documents): More All
0.2: Pict: A Programming Language Based on the Pi-Calculus - Pierce, Turner (1997) (Correct)
0.2: Linearity and the Pi-Calculus - Kobayashi, Pierce, Turner (1996) (Correct)
0.2: An Efficient Compilation Framework For Parallel Programming.. - Oyama (1998) (Correct)
Similar documents based on text: More All
0.3: An Implicitly-Typed Deadlock-Free Process Calculus - Naoki Kobayashi Shin (Correct)
0.3: A Partially Deadlock-Free Typed Process Calculus - Naoki Kobayashi University (1997) (Correct)
0.2: Quasi-Linear Types - Kobayashi (1999) (Correct)
BibTeX entry: (Update)
@misc{ kobayashi-partially,
author = "Naoki Kobayashi",
title = "A Partially Deadlock-free Typed Process Calculus (I) -- A Simple System
--",
url = "citeseer.ist.psu.edu/9851.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
247 The family of concurrent logic programming languages (context) - Shapiro - 1989
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1995
194 Function as processes (context) - Milner - 1990
159 CML: A higher-order concurrent language (context) - Reppy - 1991
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
140 On reduction-based process semantics - Honda, Yoshida - 1995
117 Object-Oriented Concurrent Programming (context) - Yonezawa, Tokoro - 1987
116 Mathematical Structures in Computer Science (context) - Pierce, Sangiorgi et al. - 1995
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
101 concurrent constraint programming (context) - Saraswat, Lincoln et al. - 1992
87 Concurrent haskell - Peyton-Jones - 1996
86 A Partially Deadlock-free Typed Process Calculus - Kobayashi - 1996
61 Technical Report ECS-LFCS (context) - Milner, ss-calculus et al. - 1991
35 Combinatory representation of mobile processes - Honda, Yoshida - 1994
26 Higher-order concurrent linear logic programming - Kobayashi, Yonezawa - 1995
23 Higher-order concurrent programs with finite communication t.. (context) - Nielson, Nielson - 1994
22 StackThreads: An abstract machine for scheduling fine-grain .. (context) - Taura, Matsuoka et al. - 1995
19 A typed calculus of synchronous processes - Gay, Nagarajan - 1995
17 A multi-threaded higher-order user interface toolkit - Gansner, Reppy - 1993
14 Type-based analysis of usage of communication channels for c.. (context) - Igarashi, Kobayashi - 1996
9 Types for dydadic interaction (context) - Honda - 1993
9 Concurrent linear logic programming (context) - Kobayashi - 1996
1 Graph types for monadic processes (context) - Yoshida - 1996
Documents on the same site (http://www.is.s.u-tokyo.ac.jp/tech-reports/FILES.html): More
Efficient Implementation of Software Release.. - Niwa, Inagaki.. (1997) (Correct)
Typed Higher-Order Concurrent Linear Logic Programming - Kobayashi, Yonezawa (1994) (Correct)
On Zones of Flats in Hyperplane Arrangements - Houle, Tokuyama (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC