Causal Unfoldings and Disjunctive Causes

DOI10.46298/lmcs-19(2:4)2023arXiv2003.06267OpenAlexW3012164407MaRDI QIDQ6135752

Glynn Winskel, Marc de Visme

Publication date: 26 August 2023

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

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

Mathematics Subject Classification ID

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

Cites Work

• Petri nets, event structures and domains. I
• Category theoretic structure of setoids
• Rigid Families for CCS and the $$\pi $$ -calculus
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Causal Unfoldings and Disjunctive Causes