Concurrent Process Histories and Resource Transducers

DOI10.46298/LMCS-19(1:7)2023MaRDI QIDQ5883753zbMATH OpenOpenAlexFDO

Authors Chad Nester

Publication date 22 March 2023

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2010.08233v6

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Resource traces: A domain for processes sharing exclusive resources.
• Constructing process categories
• Situated transition systems
• Investigation of concurrent processes by means of homotopy functors
• scientific article; zbMATH DE number 3924146

Cites work

• A calculus of communicating systems
• A mathematical theory of resources
• A survey of graphical languages for monoidal categories
• An Invitation to Applied Category Theory
• Catégories structurées
• Communicating sequential processes
• Framed bicategories and monoidal fibrations
• scientific article; zbMATH DE number 3783245 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1107620 (Why is no real title available?)
• scientific article; zbMATH DE number 2139647 (Why is no real title available?)
• scientific article; zbMATH DE number 7599492 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Model structures on the category of small double categories
• On involutive monoidal categories
• Petri nets are monoids
• Propositions as sessions
• Session types as intuitionistic linear propositions
• SZX-calculus: scalable graphical quantum reasoning
• The geometry of tensor calculus. I
• The logic of message-passing
• What are the fundamental structures of concurrency? We still don't know!
• What is a free double category like?

Cited in

(3)

• Protocol choice and iteration for the free cornering
• Situated transition systems
• The produoidal algebra of process decomposition

This page was built for publication: Concurrent Process Histories and Resource Transducers

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