Concurrent Process Histories and Resource Transducers

DOI10.46298/lmcs-19(1:7)2023OpenAlexW3216633457MaRDI QIDQ5883753

Chad Nester

Publication date: 22 March 2023

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

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

Mathematics Subject Classification ID

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

Related Items

Protocol choice and iteration for the free cornering

Cites Work

• A mathematical theory of resources
• Petri nets are monoids
• The logic of message-passing
• Model structures on the category of small double categories
• A calculus of communicating systems
• The geometry of tensor calculus. I
• Propositions as sessions
• A Survey of Graphical Languages for Monoidal Categories
• Session Types as Intuitionistic Linear Propositions
• Framed bicategories and monoidal fibrations
• Communicating sequential processes
• What are the Fundamental Structures of Concurrency?
• Catégories structurées
• An Invitation to Applied Category Theory
• What is a free double category like?
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item