From Petri nets to linear logic:
Abstract: "Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correcpondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Menlo Park, Calif.
1989
|
| Ausgabe: | Rev. |
| Schriftenreihe: | Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL
89,4 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correcpondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the relationships between linear logic and concurrency, and on how both are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions. This is an instance of the Lambek-Lawvere correspondence between logic and category theory that cannot be expressed within the more restricted framework of the Curry-Howard correspondence." |
| Beschreibung: | 44 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009257968 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940313s1989 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)20787148 | ||
| 035 | |a (DE-599)BVBBV009257968 | ||
| 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 |c by Narciso Martí-Oliet and José Meseguer |
| 250 | |a Rev. | ||
| 264 | 1 | |a Menlo Park, Calif. |c 1989 | |
| 300 | |a 44 S. |b graph. Darst. | ||
| 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 89,4 | |
| 520 | 3 | |a Abstract: "Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correcpondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the relationships between linear logic and concurrency, and on how both are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions. This is an instance of the Lambek-Lawvere correspondence between logic and category theory that cannot be expressed within the more restricted framework of the Curry-Howard correspondence." | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Petri nets | |
| 700 | 1 | |a Meseguer, José |e Verfasser |4 aut | |
| 830 | 0 | |a Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL |v 89,4 |w (DE-604)BV008930658 |9 89,4 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006160074 | ||
Datensatz im Suchindex
| _version_ | 1804123705033359360 |
|---|---|
| any_adam_object | |
| author | Martí-Oliet, Narciso Meseguer, José |
| author_facet | Martí-Oliet, Narciso Meseguer, José |
| author_role | aut aut |
| author_sort | Martí-Oliet, Narciso |
| author_variant | n m o nmo j m jm |
| building | Verbundindex |
| bvnumber | BV009257968 |
| ctrlnum | (OCoLC)20787148 (DE-599)BVBBV009257968 |
| edition | Rev. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01709nam a2200325 cb4500</leader><controlfield tag="001">BV009257968</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940313s1989 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)20787148</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009257968</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</subfield><subfield code="c">by Narciso Martí-Oliet and José Meseguer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Rev.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, Calif.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">44 S.</subfield><subfield code="b">graph. Darst.</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">89,4</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correcpondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the relationships between linear logic and concurrency, and on how both are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions. This is an instance of the Lambek-Lawvere correspondence between logic and category theory that cannot be expressed within the more restricted framework of the Curry-Howard correspondence."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Petri nets</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meseguer, 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">89,4</subfield><subfield code="w">(DE-604)BV008930658</subfield><subfield code="9">89,4</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006160074</subfield></datafield></record></collection> |
| id | DE-604.BV009257968 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:34:01Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006160074 |
| oclc_num | 20787148 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 44 S. graph. Darst. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| 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 by Narciso Martí-Oliet and José Meseguer Rev. Menlo Park, Calif. 1989 44 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 89,4 Abstract: "Linear logic has been recently introduced by Girard as a logic of actions that seems well suited for concurrent computation. In this paper, we establish a systematic correcpondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the relationships between linear logic and concurrency, and on how both are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions. This is an instance of the Lambek-Lawvere correspondence between logic and category theory that cannot be expressed within the more restricted framework of the Curry-Howard correspondence." Logic Petri nets Meseguer, José Verfasser aut Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL 89,4 (DE-604)BV008930658 89,4 |
| spellingShingle | Martí-Oliet, Narciso Meseguer, José From Petri nets to linear logic Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL Logic Petri nets |
| title | From Petri nets to linear logic |
| title_auth | From Petri nets to linear logic |
| title_exact_search | From Petri nets to linear logic |
| title_full | From Petri nets to linear logic by Narciso Martí-Oliet and José Meseguer |
| title_fullStr | From Petri nets to linear logic by Narciso Martí-Oliet and José Meseguer |
| title_full_unstemmed | From Petri nets to linear logic by Narciso Martí-Oliet and José Meseguer |
| title_short | From Petri nets to linear logic |
| title_sort | from petri nets to linear logic |
| topic | Logic Petri nets |
| topic_facet | Logic Petri nets |
| volume_link | (DE-604)BV008930658 |
| work_keys_str_mv | AT martiolietnarciso frompetrinetstolinearlogic AT meseguerjose frompetrinetstolinearlogic |