Yukihide Takayama  @ NUS Home/Search
Context Related
| theory.cs.ritsumei.ac.jp...FGCS92CR.ps Cached: PS.gz PS PDF Image Update Help From: theory.cs.ritsumei.ac.jp/...paper (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper proposes a constructive logic in which a concurrent system can be de ned as a proof of a speci - cation. The logic is de ned by adding stream types and several rules for them to an ordinary constructive logic. The unique feature of the obtained system is in the (MPST ) rule which is a kind of structural induction on streams. The (MPST ) rule is based on the idea of largest xed point inductions, but the formulation of the rule is quite di erent and it allows to de ne a concurrent... (Update)
Context of citations to this paper: More
.... in agreement with other previous attempts to set a mathematical framework for modeling communicating processes see for example [44, 1, 82, 86, 27] as well as with the way in which interactive programs are implemented in certain functional programming languages like Haskell...
Cited by: More
Un Calcul De Constructions Infinies Et Son Application A La.. - Giménez (1996) (Correct)
Un Calcul De Constructions Infinies Et Son Application a La. . . - Gimenez (1996) (Correct)
Active bibliography (related documents): More All
0.5: The Integration of Functions into Logic Programming: A Survey - Hanus (1994) (Correct)
0.5: The Continuum as a Final Coalgebra - Pavlovic, Pratt (1999) (Correct)
0.4: QPC 2 : A Constructive Calculus with Parameterized Specifications - Takayama (1995) (Correct)
Similar documents based on text: More All
0.3: Collaborative Translation Environment Yakushite.Net' - Tatsuya Sukehiro Mihoko (2001) (Correct)
0.2: An Automatic Extraction of Key Paragraphs - Based On Context (Correct)
0.2: An Empirical Method for Identifying and Translating.. - Terminology Sayori.. (Correct)
Related documents from co-citation: More All
4: Metamathematical investigations of a calculus of constructions (context) - Coquand - 1990
2: Cambridge Mathematical Textbooks (context) - Davey, Priestley et al. - 1990
2: Programming with broadcasts - Prasad - 1993
BibTeX entry: (Update)
Y. Takayama. Defining concurrent processes constructively. Theoretical Computer Science, 122, 1994. http://citeseer.comp.nus.edu.sg/123573.html More
@misc{ takayama94defining,
author = "Y. Takayama",
title = "Defining concurrent processes constructively",
text = "Y. Takayama. Defining concurrent processes constructively. Theoretical
Computer Science, 122, 1994.",
year = "1994",
url = "citeseer.comp.nus.edu.sg/123573.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
982 Theoretical Computer Science (context) - Girard - 1987
505 Implementing Mathematics with the Nuprl Proof Development Sy.. - Constable - 1986
302 The Semantics of a Simple Language for Parallel Programming (context) - Kahn, MacQueen - 1974
67 Recursive Programming Techniques (context) - Burge - 1975
56 The formulas-as-types notion of construction (context) - Howard - 1980
39 A Typed Lambda Calculus with Categorical Type Constructors (context) - Hagino - 1987
8 Extraction of Redundancy-free Programs from Constructive Nat.. (context) - Takayama - 1991
3 Constructive Programming in SST (context) - Sato, Kameyama - 1990
2 Quty: A Concurrent Language Based on Logic and Function (context) - Sato - 1987
2 Innite Objects in Type Theory (context) - Mendler, Panangaden et al. - 1986
1 A Functional Programming Approach to the Specication and Ver.. (context) - Dybjer, Sander - 1989
1 Studies in Logic and the Foundation of Mathematics 121 and (context) - Troelstra, van Dalen et al. - 1988
1 Concurrency in proof normalization and logic programming (context) - Goto - 1985
Documents on the same site (http://www.theory.cs.ritsumei.ac.jp/~takayama/paper.html):
QPC 2 : A Constructive Calculus with Parameterized Specifications - Takayama (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST at NUS Add search form to your site Submit documents Feedback
CiteSeer.IST at NUS - Copyright Penn State and NEC. Hosted by the School of Computing, National University of Singapore.