CHOCS A generalisation of {CCS}. ["A Calculus of Higher-Order Communicating Systems", B. Thomsen, 16th POPL pp.143-154 (1989)].
Copyright © 2024 3Dict.net