49 citations · 82 across the 10 of their papers we have counts for
1 paper · 1 filter
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…