Linear logic for nets with bounded resources

DOI10.1016/0168-0072(95)00015-1zbMath0859.68063OpenAlexW1972490368MaRDI QIDQ1919758

Michael A. Taitslin, Mikhail I. Dekhtyar, 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

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

Related Items

IN MEMORIAM: MIKHAIL A. TAITSLIN 1936–2013

Cites Work

• Unnamed Item
• Linear logic
• Decision problems for propositional linear logic
• Linear logic with fixed resources
• Two-Processor Scheduling with Start-Times and Deadlines