Sciweavers

Share
RTA
2015
Springer
3 years 4 months ago
Towards Modelling Actor-Based Concurrency in Term Rewriting
In this work, we introduce a scheme for modelling actor systems within sequential term rewriting. In our proposal, a TRS consists of the union of three components: the functional ...
Adrián Palacios, Germán Vidal
RTA
2015
Springer
3 years 4 months ago
Inferring Lower Bounds for Runtime Complexity
We present the first approach to deduce lower bounds for innermost runtime complexity of term rewrite systems (TRSs) automatically. Inferring lower runtime bounds is useful to de...
Florian Frohn, Jürgen Giesl, Jera Hensel, Cor...
books