The following pages link to Loredana Tec (Q313979):
Displaying 14 items.
- A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis (Q313981) (← links)
- A unifying logic for non-deterministic, parallel and concurrent abstract state machines (Q1783738) (← links)
- Incremental Language Inclusion Checking for Networks of Timed Automata (Q2842668) (← links)
- Symbolic Analysis for Boundary Problems: From Rewriting to Parametrized Gröbner Bases (Q2912125) (← links)
- A Symbolic Framework for Operations on Linear Boundary Problems (Q3644106) (← links)
- A Behavioural Theory for Reflective Sequential Algorithms (Q4989672) (← links)
- A complete logic for Database Abstract State Machines1 (Q5095627) (← links)
- (Q5133477) (← links)
- A symbolic framework for general polynomial domains in theorema (Q5175318) (← links)
- (Q5188222) (← links)
- A Constructive Method for Computing Generalized Manley-Rowe Constants of Motion (Q5372167) (← links)
- An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888) (← links)
- Distributed Adaptive Systems (Q5881446) (← links)
- Capturing Membrane Computing by ASMs (Q5881453) (← links)
