R-SHIM: Deterministic Concurrency with Recursion and Shared Variables ... Recursion is a key contribution of R-SHIM over the ear- lier SHIM formalism ...

We present R-SHIM, the core of a language with concurrent recursive procedure calls and disciplined shared variables that remains deterministic.

R-SHIM: Deterministic Concurrency with Recursion and Shared Variables ... The next construct reads or writes the next value of a “shared” variable next A ...

Being an asynchronous concurrent language, SHIM's main novelty is schedulingindependence: regardless of non-deterministic scheduling choices taken by its ...

S. A. Edwards and O. Tardieu. SHIM: A deterministic model for heterogeneous embedded systems. IEEE Transactions on Very Large Scale Integrated (VLSI) Systems, ...

Tardieu, O., Edwards, S.A.: R-shim: Deterministic concurrency with recursion and shared variables. In: Proceedings of the International Conference on Formal.

Tardieu, O., Edwards, S.A.: R-shim: Deterministic concurrency with recursion and shared variables. In: Proceedings of the International Conference on Formal ...

This paper proposes an extension to the SP theory which retains the advantages of deterministic concurrency, but allows communication to occur at higher levels ...

Dec 19, 2018 · However, like the deterministic SP model [2], both SHIM and concurrent re- visions lack support for more expressive shared ADTs essential for ...

This paper presents a history of the shim project with a focus on the key things learned along the way, and describes asynchronously running processes that ...