Posts by Alex Berka
BCTCS 2020
There will be a conference talk at BCTCS 2020, if it is still going ahead, on alpha-rams in April : The alpha-ram family – bit level models for parallelism and concurrency. Abstract There are no bit-level machine models for parallelism and concurrency, amongst the standard formal models of computation, that permit computer…
Read Moredeterministic implementation of concurrency
Deterministic treatments of concurrency are largely confined to synchronous programming for reactive systems, sometimes web based but often involving embedded devices, controlled by real time operating systems. For more general purpose computing in what are considered to be asynchronous environments, nondeterministic concurrency, expressed by process algebras and their derived languages, is often chosen. Is there an alternative to non-determinism in the general case?
Read More