A general conservative extension theorem in process algebra (1994)

by C Verhoef
Venue:In Proceedings PROCOMET'94, IFIP Transactions A-56