45 citations · 90 across the 7 of their papers we have counts for
7 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…
On Higher Order Query Languages which on Relational Databases Collapse to Second Order Logic
Flavio Ferrarotti, Loredana Tec, José María Turull-Torres
In the framework of computable queries in Database Theory, there are many examples of queries to (properties of) relational database instances that can be expressed by simple and e…
A Complete Logic for Database Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
In database theory, the term was used to refer to a unifying treatment for computable queries and updates. Recently, it was shown that non-determ…
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
A behavioural theory consists of machine-independent postulates characterizing a particular class of algorithms or systems, an abstract machine model that provably satisfies these…
A constructive method for computing generalized Manley--Rowe constants of motion
Elena Kartashova, Loredana Tec
The Manley--Rowe constants of motion (MRC) are conservation laws written out for a dynamical system describing the time evolution of the amplitudes in resonant triad. In this paper…
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…