bibliographer - B. Bollig

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Gossiping in Message-Passing Systems B. Bollig M. Fortin P. Gastin [github]

It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with ``Happened Before'' B. Bollig M. Fortin P. Gastin [github]

The Complexity of Model Checking Multi-stack Systems B. Bollig D. Kuske R. Mennicke [github]

Library Size: 13G (3 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]