Implementation of Late Name Binding, Asynchronous Pi-Calculus in Maude

Abstract

We describe a new implementation of asynchronous pi-calculus in Maude which utilizes CINNI — a calculus of explicit substitutions — to cope with name binding. We believe that using late name binding, instead of early, simplifies the implementation, which we intend to use later as part of a workflow specification system.