Towards Modelling Actor-Based Concurrency in Term Rewriting

Adrián Palacios, Germán Vidal. Towards Modelling Actor-Based Concurrency in Term Rewriting. In Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß, editors, 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2015, July 2, 2015, Warsaw, Poland. Volume 46 of OASICS, pages 19-29, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.