Linear logic for nets with bounded resources

DOI10.1016/0168-0072(95)00015-1MaRDI QIDQ1919758zbMATH OpenOpenAlexFDO

Authors Mikhail I. Dekhtyar, Michael A. Taitslin, Dmitri A. Archangelsky

Publication date 1996

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(95)00015-1

zbMATH Keywords

BR-nets

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1499086
• scientific article; zbMATH DE number 1678395
• scientific article; zbMATH DE number 125887
• From Petri nets to linear logic
• Completeness results for linear logic on Petri nets

Cites work

• Decision problems for propositional linear logic
• scientific article; zbMATH DE number 1499080 (Why is no real title available?)
• Linear logic
• Linear logic with fixed resources
• Two-Processor Scheduling with Start-Times and Deadlines

Cited in

(12)

• Linear logic with fixed resources
• Interaction nets for linear logic
• Between syntax and semantics of resource oriented logic for IDS behavior description
• scientific article; zbMATH DE number 1678395 (Why is no real title available?)
• In memoriam: Mikhail A. Taitslin, 1936--2013
• Linear types and locality
• Bounding Fan-out in Logical Networks
• Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials
• scientific article; zbMATH DE number 1499086 (Why is no real title available?)
• On the Use of Linear Combination in PWCP-Nets
• Bounded linear logic, revisited
• Bounded Linear Logic, Revisited

This page was built for publication: Linear logic for nets with bounded resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1919758)