Alessio Guglielmi  Home/Search
Context Related
| di.unipi.it/pub/Papers/gugl...smr.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: di.unipi.it/~guglielm/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we address the issue of understanding sequential and parallel composition of agents from a logical viewpoint. We use the methodology of abstract logic programming in linear logic, where computations are proof searches in a suitable fragment of linear logic. While parallel composition has a straightforward treatment in this setting, sequential composition is much more difficult to be obtained. We define and study a logic programming language, SMR, in which the causality relation... (Update)
Context of citations to this paper: More
.... programming languages [DM95, BDLM96] Topics in concurrency have often been addresses as well: see, for example, AP90, AP91] [BG96, Gug95, Gug96, Gug94], KY93] and [Mil93] See also the survey paper [Mil95] 7.3 Exercises 1. The LO logic programming language is based on...
...O one, are embodied in a translation with a clear declarative meaning. We briefly present the language SMR (Sequential Multiset Rewriting) [7] and give a translation of it into first order linear logic which is both correct and complete, thus fully relating the two formalisms....
Cited by: More
A Purely Logical Account of Sequentiality in Proof Search - Bruscoli (2002) (Correct)
A Calculus of Order and Interaction - Guglielmi (1999) (Correct)
Sequent Calculus and the Specification of Computation - Lecture.. - Miller (1998) (Correct)
Similar documents (at the sentence level):
29.5%: A Linear Logic View of Gamma Style Computations as Proof Searches - Bruscoli (Correct)
Active bibliography (related documents): More All
0.5: Concurrency and Plan Generation in a Logic Programming Language.. - Guglielmi (Correct)
0.3: Pomset Logic and Variants in Natural Languages - Schena (Correct)
0.3: A Semantic Characterisation of the Correctness of a Proof Net - Retore (1993) (Correct)
Similar documents based on text: More All
0.3: Deep Inference and the Calculus of Structures - Guglielmi (2005) (Correct)
0.3: Non-commutativity and MELL in the Calculus of Structures - Guglielmi, Straßburger (2001) (Correct)
0.2: A System of Interaction and Structure - Guglielmi (2002) (Correct)
Related documents from co-citation: More All
6: Linear Objects: Logical Processes with Built-in Inheritance - Pareschi
6: Logic programming in a fragment of intuitionistic linear logic - Hodas, Miller - 1994
4: Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
BibTeX entry: (Update)
Alessio Guglielmi. Sequentiality by linear implication and universal quantification. In Jorg Desel, editor, Structures in Concurrency Theory, Workshops in Computing, pages 160--174. Springer-Verlag, 1995. http://citeseer.ist.psu.edu/guglielmi95sequentiality.html More
@misc{ guglielmi95sequentiality,
author = "A. Guglielmi",
title = "Sequentiality by linear implication and universal quantification",
text = "Alessio Guglielmi. Sequentiality by linear implication and universal quantification.
In Jorg Desel, editor, Structures in Concurrency Theory, Workshops in Computing,
pages 160--174. Springer-Verlag, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/guglielmi95sequentiality.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
474 Term rewriting systems - Klop - 1992
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
223 Linear Objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991
142 Logic programming with focusing proofs in linear logic - Andreoli - 1992
81 A multiple-conclusion meta-logic - Miller - 1994
65 volume 103 of Studies in Logic and the Foundations of Mathem.. (context) - Barendregt, Calculus - 1984
59 The Gamma model and its discipline of programming (context) - Banatre, Le M'etayer - 1990
10 Concurrency and plan generation in a logic programming langu.. - Guglielmi - 1994
8 volume 1 of Studies in Proof Theory (context) - Girard, Logical et al. - 1987
4 Distributed logic: A theory of distributed programming in lo.. (context) - Monteiro - 1986
4 Distributed logic: A logical system for specifying concurren.. (context) - Monteiro - 1981
3 ese de Doctorat, sp (context) - Retor'e, S'equents et al. - 1993
2 Available by anonymous ftp from cma (context) - Retor'e - 1993
Documents on the same site (http://www.di.unipi.it/~guglielm/papers.html):
A Linear Logic View of Gamma Style Computations as Proof Searches - Bruscoli (Correct)
Concurrency and Plan Generation in a Logic Programming Language.. - Guglielmi (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