bibliographer - P. Gastin

bibliographer a curated TCS bibliography

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

Timed Systems through the Lens of Logic S. Akshay P. Gastin V. Jugé S. N. Krishna [github]

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]

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

[show logs] [hide logs]