N. Kobayashi and A. Yonezawa. Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming. Technical report, Department of Information Science the University of Tokyo, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Linear Logic Specification for Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
....development of new high level languages. In fact, they can help in the analysis of declarative programs properties and in the verification of their correctness. Experimental results in this field have been obtained in the study of logical equivalence of concurrent processes modeled by Linear Logic [35, 30]. Further results are expected in the application of these techniques to logical characterizations of objects and agents. In our current work [12] we are looking for a uniform representation of all above mentioned aspects within a unique framework. We have developed a formalism, called E hhf ....
N. Kobayashi and A. Yonezawa. Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming. Technical report, Department of Information Science the University of Tokyo, 1995.
A Linear Logic Specification of Chimera - Bozzano, Delzanno, Martelli (1997) (Correct)
....new programming methodologies for linear logic based languages are still under development. The work presented here together with the work in [14] is a proposal in this direction based on a concrete example. Logical analysis of program equivalences based on linear logic have been considered in [13, 33, 29]. Further results are expected in the application of these techniques to logical characterizations of objects and agents. Currently we are also investigating the relationships between linear logic and other formalisms developed to assign a semantics to transactions and updates in database systems, ....
N. Kobayashi and A. Yonezawa. Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming. Technical report, Department of Information Science the University of Tokyo, 1995.
Anaphoric Linking at Run Time: A Type-Logical Account of Discourse .. - Terui (1998) (Correct)
....equivalence. It is important for our work as well, because a proper equivalence notion allows us to translate a complex lexical entry into a simpler one. One might expect the mutual derivability (A B and B A) would provide such an equivalence. However, it should be carefully examined (cf. [KY93]) Semantics Is it possible to give a suitable (model theoretic) semantics to Lq Apparently, we could give our labels (DRSs) a semantics in terms of dynamic semantics (see, e.g. vEK97] could give our categories a monoid based or relational semantics (see [vB91] but, of course, completeness ....
Naoki Kobayashi and Akinori Yonezawa. Logical, testing, and observation equivalence for processes in a linear logic programming. Preprint (presented at Linear Logic Workshop, Cornell University), 1993.
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