2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Proving Correctness of Parallel Implementations of Transition System Specifications
Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun +1
The overall problem addressed in this paper is the long-standing problem of program correctness, and in particular programs that describe systems of parallel executing processes. W…
cs.DC2016★ 2 cited
Modeling Deployment Decisions for Elastic Services with ABS
Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa
The use of cloud technology can offer significant savings for the deployment of services, provided that the service is able to make efficient use of the available virtual resources…