Search Results - "Ljung, Parker" :: Katalog Arama

1
Distributed runtime verification of metric temporal properties by Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, Herlihy, Maurice

Published in Journal of parallel and distributed computing (01-03-2024)

Get full text

Journal Article
QR Code
Save to List

Saved in:
2
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols by Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, Herlihy, Maurice

Published in 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS) (01-07-2022)
“…Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on…”

Get full text

Conference Proceeding
QR Code
Save to List

Saved in:
3
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols by Ganguly, Ritam, Xue, Yingjie, Jonckheere, Aaron, Ljung, Parker, Schornstein, Benjamin, Bonakdarpour, Borzoo, Herlihy, Maurice

Published 20-04-2022
“…Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on…”

Get full text

Journal Article
QR Code
Save to List

Saved in: