The following pages link to Loredana Tec (Q313979):
Displaying 6 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 complete logic for Database Abstract State Machines1 (Q5095627) (← links)
- A Constructive Method for Computing Generalized Manley-Rowe Constants of Motion (Q5372167) (← links)
