WoTUG Home

Annual Conference: Communicating Process Architectures

Communicating Process Architectures 2018, the 40th. WoTUG conference on concurrent and parallel systems, takes place from Sunday August 19th. to Wednesday August 22nd. 2018 and is hosted by Professor Dr. Rainer Spallek, Chair of VLSI Design, Diagnostics and Architecture at the Faculty of Computer Science, Technische Universität Dresden, Germany. The conference is organised by Dr. Spallek in collboration with Oliver Knodel and Uwe Mielke and in partnership with WoTUG.

About WoTUG

WoTUG provides a forum for the discussion and promotion of concurrency ideas, tools and products in computer science. It organises specialist workshops and annual conferences that address key concurrency issues at all levels of software and hardware granularity. WoTUG aims to progress the leading state of the art in:

theory (programming models, process algebra, semantics, ...);

practice (multicore processors and run-times, clusters, clouds, libraries, languages, verification, model checking, ...);

education (at school, undergraduate and postgraduate levels, ...);

applications (complex systems, modelling, supercomputing, embedded systems, robotics, games, e-commerce, ...);

for the next generation of scalable computer infrastructure (hard and soft) and application, where scaling means the ability to ramp up functionality (stay in control as complexity increases) as well as physical metrics (such as absolute performance and response times);

for system integrity (dependability, security, safety, liveness, ...);

for making things simple.

WoTUG publications

A database of papers and presentations from WoTUG conferences is here. The Abstract below has been randomly selected from this database.

Mobile Processes and Call Channels with Variant Interfaces (a Duality)

The current model of mobile processes in occam-π 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-π 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 talk considers a revised model for mobile processes that allows many interfaces. The talk also proposes a 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-π mobile channel bundles, has been devised – which gives an implementation route for the revised mobile process model and an operational semantics. If time, the ideas will be illustrated with a case study based on the Santa Claus problem, where the elves and reindeer are mobile processes.