{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T05:20:14Z","timestamp":1740115214655,"version":"3.37.3"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"abstract":"<jats:p>The current model of mobile processes in occam-&amp;pi; implements a single interface for host processes to use. However, different hosts holding different kinds of resource will naturally require different interfaces to interact with their visitors. So, current occam-&amp;pi; mobiles have to offer a single union of all the interfaces needed and hosts must provide dummy arguments for those irrelevant to its particular calls. This opens the possibilty of programming errors in both hosts and mobile should those dummies mistakenly be used. This paper considers a revised model for mobile processes that allows many interfaces. It also proposes the concept of variant call channels, that expands on a mechanism proposed for the occam3 language, and shows a simple duality between the revised mobile processes and mobile variant call channels. An implementation of mobile variant call channels, via source-code transformation to standard occam-&amp;pi; mobile channel bundles, is presented. This gives a demonstration implementation for the revised mobile process model and an operational semantics. The paper is illustrated with a case study based on the Santa Claus problem, where the elves and reindeer are mobile processes.<\/jats:p>","DOI":"10.3233\/978-1-60750-774-1-377","type":"book-chapter","created":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T09:37:07Z","timestamp":1740044227000},"source":"Crossref","is-referenced-by-count":0,"title":["Mobile Processes and Call Channels with Variant Interfaces (a Duality)"],"prefix":"10.3233","author":[{"family":"Bonnici Eric","sequence":"additional","affiliation":[]},{"family":"Welch Peter H.","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Concurrent Systems Engineering Series","Communicating Process Architectures 2011"],"original-title":[],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T09:37:46Z","timestamp":1740044266000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISSNISBN&issn=1383-7575&volume=68&spage=377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-60750-774-1-377","relation":{},"ISSN":["1383-7575"],"issn-type":[{"value":"1383-7575","type":"print"}],"subject":[],"published":{"date-parts":[[2011]]}}}