DMCA

Saturated semantics for reactive systems (2006)

by Filippo Bonchi , Barbara König , Ugo Montanari
Venue: LOGIC IN COMPUTER SCIENCE
Citations:36 - 18 self