DMCA

tau-angelic choice: An operator to reduce irrelevant internal activity in process algebra

Cached

Download Links

by Pedro R. D'Argenio