bibliographer - Nadia Busi

bibliographer a curated TCS bibliography

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

Choreography and Orchestration Conformance for System Design Nadia Busi Roberto Gorrieri Claudio Guidi Roberto Lucchi Gianluigi Zavattaro [github]

Analysis issues in Petri nets with inhibitor arcs Nadia Busi [github]

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs Nadia Busi G. Michele Pinna [github]

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

[show logs] [hide logs]