From Petri nets to linear logic through categories: a survey
Abstract: "Linear logic has been introduced by Girard as a logic of actions that seems well suited for concurrent computation. This paper surveys recent work on the applications of linear logic to concurrency, with special emphasis on Petri nets and on the use of categorical models. In particul...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
1991
|
| Schriftenreihe: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
91,7 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Linear logic has been introduced by Girard as a logic of actions that seems well suited for concurrent computation. This paper surveys recent work on the applications of linear logic to concurrency, with special emphasis on Petri nets and on the use of categorical models. In particular, we present a synthesis of our previous work on the systematic correspondence between Petri nets, linear logic theories, and linear categories, and explain its relationships to work by many other authors. Throughout, we discuss the computational interpretation of the linear logic connectives and illustrate the ideas with examples. Categories play an important role in this survey On the one hand, from a computational perspective, they are interpreted as concurrent systems whose objects are states, and whose morphisms are transitions; on the other hand, when a model-theoretic perspective is adopted, they provide a very flexible conceptual framework within which the relationships among quite different models already proposed for linear logic can be better understood; this framework also suggests the study of new models and an axiomatic treatment of classes of models. Our categorical semantics for linear logic is based on dualizing objects and permits a very simple presentation of ideas requiring a more complicated treatment in the language of *-autonomous categories. |
| Beschreibung: | 93 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009224824 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1991 |||| 00||| eng d | ||
| 035 | |a (OCoLC)24764532 | ||
| 035 | |a (DE-599)BVBBV009224824 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Martí-Oliet, Narciso |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a From Petri nets to linear logic through categories |b a survey |c Narciso Martí-Oliet and José Meseguer |
| 264 | 1 | |a Stanford, Calif. |c 1991 | |
| 300 | |a 93 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 91,7 | |
| 520 | 3 | |a Abstract: "Linear logic has been introduced by Girard as a logic of actions that seems well suited for concurrent computation. This paper surveys recent work on the applications of linear logic to concurrency, with special emphasis on Petri nets and on the use of categorical models. In particular, we present a synthesis of our previous work on the systematic correspondence between Petri nets, linear logic theories, and linear categories, and explain its relationships to work by many other authors. Throughout, we discuss the computational interpretation of the linear logic connectives and illustrate the ideas with examples. Categories play an important role in this survey | |
| 520 | 3 | |a On the one hand, from a computational perspective, they are interpreted as concurrent systems whose objects are states, and whose morphisms are transitions; on the other hand, when a model-theoretic perspective is adopted, they provide a very flexible conceptual framework within which the relationships among quite different models already proposed for linear logic can be better understood; this framework also suggests the study of new models and an axiomatic treatment of classes of models. Our categorical semantics for linear logic is based on dualizing objects and permits a very simple presentation of ideas requiring a more complicated treatment in the language of *-autonomous categories. | |
| 650 | 4 | |a Categories (Mathematics) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 700 | 1 | |a Mesguer, José |e Verfasser |4 aut | |
| 830 | 0 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 91,7 |w (DE-604)BV008930658 |9 91,7 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006133979 | ||
Datensatz im Suchindex
| _version_ | 1804123667901186048 |
|---|---|
| any_adam_object | |
| author | Martí-Oliet, Narciso Mesguer, José |
| author_facet | Martí-Oliet, Narciso Mesguer, José |
| author_role | aut aut |
| author_sort | Martí-Oliet, Narciso |
| author_variant | n m o nmo j m jm |
| building | Verbundindex |
| bvnumber | BV009224824 |
| ctrlnum | (OCoLC)24764532 (DE-599)BVBBV009224824 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02427nam a2200325 cb4500</leader><controlfield tag="001">BV009224824</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1991 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)24764532</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009224824</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Martí-Oliet, Narciso</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">From Petri nets to linear logic through categories</subfield><subfield code="b">a survey</subfield><subfield code="c">Narciso Martí-Oliet and José Meseguer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">93 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">91,7</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Linear logic has been introduced by Girard as a logic of actions that seems well suited for concurrent computation. This paper surveys recent work on the applications of linear logic to concurrency, with special emphasis on Petri nets and on the use of categorical models. In particular, we present a synthesis of our previous work on the systematic correspondence between Petri nets, linear logic theories, and linear categories, and explain its relationships to work by many other authors. Throughout, we discuss the computational interpretation of the linear logic connectives and illustrate the ideas with examples. Categories play an important role in this survey</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">On the one hand, from a computational perspective, they are interpreted as concurrent systems whose objects are states, and whose morphisms are transitions; on the other hand, when a model-theoretic perspective is adopted, they provide a very flexible conceptual framework within which the relationships among quite different models already proposed for linear logic can be better understood; this framework also suggests the study of new models and an axiomatic treatment of classes of models. Our categorical semantics for linear logic is based on dualizing objects and permits a very simple presentation of ideas requiring a more complicated treatment in the language of *-autonomous categories.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Categories (Mathematics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mesguer, José</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL</subfield><subfield code="v">91,7</subfield><subfield code="w">(DE-604)BV008930658</subfield><subfield code="9">91,7</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006133979</subfield></datafield></record></collection> |
| id | DE-604.BV009224824 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:33:25Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006133979 |
| oclc_num | 24764532 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 93 S. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| series2 | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |
| spelling | Martí-Oliet, Narciso Verfasser aut From Petri nets to linear logic through categories a survey Narciso Martí-Oliet and José Meseguer Stanford, Calif. 1991 93 S. txt rdacontent n rdamedia nc rdacarrier Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 91,7 Abstract: "Linear logic has been introduced by Girard as a logic of actions that seems well suited for concurrent computation. This paper surveys recent work on the applications of linear logic to concurrency, with special emphasis on Petri nets and on the use of categorical models. In particular, we present a synthesis of our previous work on the systematic correspondence between Petri nets, linear logic theories, and linear categories, and explain its relationships to work by many other authors. Throughout, we discuss the computational interpretation of the linear logic connectives and illustrate the ideas with examples. Categories play an important role in this survey On the one hand, from a computational perspective, they are interpreted as concurrent systems whose objects are states, and whose morphisms are transitions; on the other hand, when a model-theoretic perspective is adopted, they provide a very flexible conceptual framework within which the relationships among quite different models already proposed for linear logic can be better understood; this framework also suggests the study of new models and an axiomatic treatment of classes of models. Our categorical semantics for linear logic is based on dualizing objects and permits a very simple presentation of ideas requiring a more complicated treatment in the language of *-autonomous categories. Categories (Mathematics) Logic, Symbolic and mathematical Mesguer, José Verfasser aut Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 91,7 (DE-604)BV008930658 91,7 |
| spellingShingle | Martí-Oliet, Narciso Mesguer, José From Petri nets to linear logic through categories a survey Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL Categories (Mathematics) Logic, Symbolic and mathematical |
| title | From Petri nets to linear logic through categories a survey |
| title_auth | From Petri nets to linear logic through categories a survey |
| title_exact_search | From Petri nets to linear logic through categories a survey |
| title_full | From Petri nets to linear logic through categories a survey Narciso Martí-Oliet and José Meseguer |
| title_fullStr | From Petri nets to linear logic through categories a survey Narciso Martí-Oliet and José Meseguer |
| title_full_unstemmed | From Petri nets to linear logic through categories a survey Narciso Martí-Oliet and José Meseguer |
| title_short | From Petri nets to linear logic through categories |
| title_sort | from petri nets to linear logic through categories a survey |
| title_sub | a survey |
| topic | Categories (Mathematics) Logic, Symbolic and mathematical |
| topic_facet | Categories (Mathematics) Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV008930658 |
| work_keys_str_mv | AT martiolietnarciso frompetrinetstolinearlogicthroughcategoriesasurvey AT mesguerjose frompetrinetstolinearlogicthroughcategoriesasurvey |