Logic in Computer Science

Authors and titles for cs.LO in Oct 2020, skipping first 30

[31]  arXiv:2010.08003 [pdf, other]

Title: Categorical Semantics of Cyber-Physical Systems Theory

Authors: Georgios Bakirtzis, Cody H. Fleming, Christina Vasilakopoulou

Subjects: Logic in Computer Science (cs.LO); Systems and Control (eess.SY); Category Theory (math.CT)

[32]  arXiv:2010.08230 [pdf, other]

Title: Graph Rewriting and Relabeling with PBPO+

Authors: Roy Overbeek, Jörg Endrullis, Aloïs Rosset

Comments: 20 pages, accepted to the International Conference on Graph Transformation 2021 (ICGT 2021)

Journal-ref: Proceedings of the Internatiol Conference on Graph Transformation 2021 (ICGT 2021), LNCS 12741, 2021, pp. 60-80

Subjects: Logic in Computer Science (cs.LO)

[33]  arXiv:2010.08233 [pdf, other]

Title: Concurrent Process Histories and Resource Transducers

Authors: Chad Nester

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 1 (January 18, 2023) lmcs:8782

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[34]  arXiv:2010.08280 [pdf, ps, other]

Title: General Semantic Construction of Dependent Refinement Type Systems, Categorically

Authors: Satoshi Kura

Comments: 32 pages

Subjects: Logic in Computer Science (cs.LO)

[35]  arXiv:2010.08288 [pdf, other]

Title: A symmetric attractor-decomposition lifting algorithm for parity games

Authors: Marcin Jurdziński, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini

Comments: 30 pages, including 10 pages of appendix and 5 figures. Submitted to FoSSaCS2021

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[36]  arXiv:2010.08337 [pdf, other]

Title: A Foundation for Ledger Structures

Authors: Chad Nester

Comments: 15 pages, many figures

Journal-ref: 2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020) OASIcs, Volume 82, pages 7:1-7:13

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[37]  arXiv:2010.08352 [pdf, ps, other]

Title: Focused Proof-search in the Logic of Bunched Implications

Authors: Alexander Gheorghiu, Sonia Marin

Comments: 18 pages content

Journal-ref: FoSSaCs 2020

Subjects: Logic in Computer Science (cs.LO)

[38]  arXiv:2010.08938 [pdf, other]

Title: A Framework to Quantify Approximate Simulation on Graph Data

Authors: Xiaoshuang Chen, Longbin Lai, Lu Qin, Xuemin Lin, Boge Liu

Subjects: Logic in Computer Science (cs.LO); Databases (cs.DB)

[39]  arXiv:2010.09471 [pdf, other]

Title: Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

Authors: A. R. Balasubramanian, Javier Esparza, Mikhail Raskin

Journal-ref: Logical Methods in Computer Science, Volume 19, Issue 4 (October 12, 2023) lmcs:8354

Subjects: Logic in Computer Science (cs.LO)

[40]  arXiv:2010.09645 [pdf, ps, other]

Title: On the Parallel Composition for True Concurrency

Authors: Yong Wang

Subjects: Logic in Computer Science (cs.LO)