A general conservative extension theorem in process algebra (1994)

by C Verhoef
Venue:Proceedings of PROCOMET’94, volume A-56 of IFIP Transactions