{'fraction_non_alphanumeric': 0.009508716323296355, 'fraction_numerical': 0.0, 'mean_word_length': 5.448979591836735, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Enhanced Operational Semantics to Handle Allocation of Mobile Processes

This paper present a semantic model of an higher-order process calculus that can be interactively updated by the user to handle locality information. We hide locations at the calculus level in an aspect-oriented programming style. This separation of concerns helps programmers designing pure functional components while delaying the management of lower level and orthogonal details such as allocation of processes. Complete control on the allocation strategy is however ensured by an interface between the programmer and the abstract machine of the language.