Representation of programming constructs with the kell-m calculus

Abstract

Kell-m is a new asynchronous, higher-order process calculus with localities, developed for modelling and verifying distributed event-based systems and applications. Although simple, due to the low level nature of kell-m, consideration effort is required when modelling complex systems. In this report we illustrate how common programming constructs such as variables, procedures, modules and lists can be represented using kell-m. These constructs facilitate the modelling of systems and applications using kell-m.