T. Hirai. Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology), Vol. E83-A, No. 11, pp. 2219--2227, November 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Temporal Linear Logic and Its Applications - Hirai (2000) Self-citation (Hirai) (Correct)
No context found.
Takaharu Hirai. Propositional temporal linear logic and its application to concurrent systems. IEICE Transactions (Special section on Concurrent Systems Technology), to appear.
Temporal Linear Logic and Its Applications - Hirai (2000) Self-citation (Hirai) (Correct)
....by TLL. In linear logic, A #(B # C) is equivalent to A# B #C. It follows that we cannot specify the execution order of processes. Using # and # , in TLL, we can specify the order as A ###(B # ##C) Furthermore, we can distinguish a synchronous calculus from an asynchronous calculus [10]. TLL can be applied as follows: It is possible to design a logic programming language based on temporal linear logic [32] Since TLL satisfies the cut elimination theorem, we can use the idea of Miller s uniform proof to design a logic programming language. 6 . It is possible to express ....
....is equivalent to the provability for the corresponding TLL sequent. It is possible to consider a synchronous communication calculus model, which is our own model. In the model, we can specify the execution order of processes and distinguish a synchronous calculus from an asynchronous calculus [10]. The remainder of this thesis is organized as follows. In Chapter 2, we survey linear logic. Some basic interpretations, the relation between linear logic and Petri nets, and phase semantics are stated. Readers knowledgeable about these matters may wish to skip this chapter. In Chapter 3, we ....
[Article contains additional citation context not shown here]
Takaharu Hirai. Propositional temporal linear logic and its application to concurrent systems. IEICE Transactions (Special section on Concurrent Systems Technology), to appear.
Symbolic Negotiation with Linear Logic - Peep Kungas And (2004) (1 citation) (Correct)
No context found.
T. Hirai. Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology), Vol. E83-A, No. 11, pp. 2219--2227, November 2000.
Symbolic Negotiation with Linear Logic - Küngas, Matskin (2004) (Correct)
No context found.
T. Hirai. Propositional Temporal Linear Logic and its Application to Concurrent Systems. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Special Section on Concurrent Systems Technology), Vol. E83-A, No. 11, pp. 2219-2227, November 2000.
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