collaborators

1 paper

cs.PL2020

PubSub implementation in Haskell with formal verification in Coq

Boro Sitnikovski, Biljana Stojcevska, Lidija Goracinova-Ilieva +1

In the cloud, the technology is used on-demand without the need to install anything on the desktop. Software as a Service is one of the many cloud architectures. The PubSub messagi…