bibliographer - A. W. Roscoe

bibliographer a curated TCS bibliography

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

Nets with tokens which carry data Ranko Lazic Tom Newcomb Joel Ouaknine A. W. Roscoe James Worrell [github]

A timed model for communicating sequential processes G. M. Reed A. W. Roscoe [github]

A Theory of Communicating Sequential Processes S. D. Brookes C. A. R. Hoare A. W. Roscoe [github]

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

[show logs] [hide logs]