Esparza, Javier
-
BRICS Report Series No. 8 (1994): RS-8 Decidability Issues for Petri Nets - Articles
Decidability Issues for Petri Nets
Abstract PDF -
BRICS Report Series No. 14 (2006): RS-14 Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols - Articles
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols
Abstract PDF