7 citations · 16 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.LO2021
Minimal Translations from Synchronous Communication to Synchronizing Locks
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
cs.LO2021
Minimal Translations from Synchronous Communication to Synchronizing Locks (Extended Version)
Manfred Schmidt-Schauß, David Sabel
In order to understand the relative expressive power of larger concurrent programming languages, we analyze translations of small process calculi which model the communication and…
cs.LO2021
Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version)
Michael Christian Fink Amores, David Sabel
Motivated by questions from program transformations, eight notions of isomorphisms between term rewriting systems are defined, analysed, and classified. The notions include global…