A general conservative extension theorem in process algebra (1994)

by Pedro R. D’Argenio , Chris Verhoef
Venue:THEORETICAL COMPUTER SCIENCE
Citations:36 - 4 self