An abstract machine for concurrent modular systems: CHARM
scientific article; zbMATH DE number 501223
scientific article