activity
20172026
most citedSpecifying Transaction Control to Serialize Concurrent Program Executions

3 citations · 8 across the 7 of their papers we have counts for

collaborators
Showing 2026Show all

1 paper · 1 filter

cs.LO2026

A Behavioural Theory of Probabilistic Algorithms Using Probabilistic Abstract State Machines

Flavio Ferrarotti, Klaus-Dieter Schewe

We motivate an axiomatic definition of probabilistic algorithms (PAs) by four postulates covering random branching time, abstract states, background, and random bounded exploration…