Naoki Kobayashi. A type system for lock-free processes. Information and Computation, 177(2):122--159, Sep. 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Coq Library for Verification of Concurrent Programs - Affeldt, Kobayashi (2004) Self-citation (Kobayashi) (Correct)
No context found.
Naoki Kobayashi. A type system for lock-free processes. Information and Computation, 177(2):122--159, Sep. 2002.
Partial Order Reduction for Verification of Spatial.. - Affeldt, Kobayashi (2004) Self-citation (Kobayashi) (Correct)
No context found.
Naoki Kobayashi. A type system for lock-free processes. Information and Computation, 177(2):122--159, Sep. 2002.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Information and Computation, 177:122--159, 2002.
Type-Based Information Flow Analysis for the Pi-Calculus - Kobayashi (2003) (2 citations) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Info. Comput., 177:122--159, 2002.
Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Information and Computation, 177:122--159, 2002.
Useless-Code Elimination and Program Slicing for the Pi-Calculus - Kobayashi (2003) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Info. Comput., 177:122--159, 2002.
A Generic Type System for the Pi-Calculus - Igarashi, Kobayashi (2003) (30 citations) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Information and Computation, 177:122--159, 2002.
Time Regions and Effects for Resource Usage Analysis - Kobayashi (2003) Self-citation (Kobayashi) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. Information and Computation, 177:122--159, 2002.
Behavioural Contracts for a Sound Assembly of Components - Carrez, Fantechi, Najm (2003) (Correct)
No context found.
N. Kobayashi. A type system for lock-free processes. INFCTRL: Information and Computation (formerly Information and Control), 177, 2002.
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