7 citations · 19 across the 6 of their papers we have counts for
1 paper · 2 filters
Karl Palmskog, Mads Dam, Andreas Lundblad +1
We present a formalized, fully decentralized runtime semantics for a core subset of ABS, a language and framework for modelling distributed object-oriented systems. The semantics i…