2 papers
cs.CR2020
Performance Overhead of Atomic Crosschain Transactions
Peter Robinson
Atomic Crosschain Transaction technology allows composable programming across permissioned Ethereum blockchains. It allows for inter-contract and inter-blockchain function calls th…
cs.PL2004
Multi-Threading And Message Communication In Qu-Prolog
Keith L. Clark, Peter J. Robinson, Richard Hagen
This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-le…