35 citations · 41 across the 3 of their papers we have counts for
3 papers
A Logic for Non-Deterministic Parallel Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by N…
Towards an ASM thesis for reflective sequential algorithms
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched…
Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases
Markus Rosenkranz, Georg Regensburger, Loredana Tec +1
We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain…