Debits and Credits in Petri Nets and Linear Logic
From MaRDI portal
Publication:2945703
DOI10.1007/978-3-319-23165-5_6zbMath1321.68356OpenAlexW2266944685MaRDI QIDQ2945703
Paolo Di Giamberardino, Roberto Zunino, Massimo Bartoletti, Pierpaolo Degano
Publication date: 14 September 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11584/114096
Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Contracts as games on event structures
- Linear logic
- Place/transition nets with debit arcs
- Linear logic as a logic of computations
- Completeness results for linear logic on Petri nets
- Petri nets, Horn programs, linear logic and vector games
- The completeness of linear logic for Petri net models
- Lending Petri Nets and Contracts
- The mix rule
- Linear Logics with Communication-merge
- From Petri nets to linear logic
- Circular Causality in Event Structures
This page was built for publication: Debits and Credits in Petri Nets and Linear Logic
