Works (9)

Updated: April 11th, 2023 10:13

2022 journal article

Mandrake: multiagent systems as a basis for programming fault-tolerant decentralized applications

AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 36(1).

By: S. Christie, A. Chopra & M. Singh

author keywords: Fault tolerance; Agent programming; Protocols
Sources: Web Of Science, ORCID
Added: February 28, 2022

2022 article

Multiagent Foundations for Distributed Systems: A Vision

ENGINEERING MULTI-AGENT SYSTEMS, Vol. 13190, pp. 62–71.

By: A. Chopra, S. Christie & M. Singh

Sources: Web Of Science, ORCID
Added: March 10, 2022

2021 journal article

Bungie: Improving Fault Tolerance via Extensible Application-Level Protocols

COMPUTER, 54(5), 44–53.

By: S. Christie, A. Chopra & M. Singh

author keywords: Fault tolerance; Protocols; Fault tolerant systems
Sources: Web Of Science, ORCID
Added: May 11, 2021

2021 article

Deserv: Decentralized Serverless Computing

2021 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, ICWS 2021, pp. 51–60.

By: S. Christie, A. Chopra & M. Singh

author keywords: multiagent systems; protocols; programming model
Sources: Web Of Science, ORCID
Added: November 12, 2021

2021 journal article

Hercule: Representing and Reasoning About Norms as a Foundation for Declarative Contracts Over Blockchain

IEEE INTERNET COMPUTING, 25(4), 67–75.

By: S. Christie, M. Singh & A. Chopra

author keywords: Blockchain; History; Smart contracts; Distributed ledger; Law; Authorization; Blockchain; Contract; Regulatory norm; Document store
Sources: Web Of Science, ORCID
Added: August 30, 2021

2021 article

Interaction-Oriented Programming: An Application Semantics Approach for Engineering Decentralized Applications

PROCEEDINGS OF THE 2021 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC '21), pp. 575–576.

By: A. Chopra, S. Christie & M. Singh

author keywords: Commitments; information protocol; programming model
Sources: Web Of Science, ORCID
Added: February 7, 2022

2020 chapter

Fault Tolerance in Multiagent Systems

In Engineering Multi-Agent Systems (pp. 78–86).

By: S. V* & A. Chopra*

Source: ORCID
Added: December 16, 2022

2020 journal article

Protocols Over Things: A Decentralized Programming Model for the Internet of Things

Computer, 53(12), 60–68.

By: S. V*, D. Smirnova, A. Chopra* & M. Singh

author keywords: Protocols; Internet of Things; Logistics; Programming; Correlation; Decision making
Source: ORCID
Added: November 26, 2020

2014 article

How Developers Visualize Compiler Messages: A Foundational Approach to Notification Construction

2014 SECOND IEEE WORKING CONFERENCE ON SOFTWARE VISUALIZATION (VISSOFT), pp. 87–96.

By: T. Barik, K. Lubick n, S. Christie & E. Murphy-Hill

Sources: Web Of Science, ORCID
Added: August 6, 2018

Employment

Updated: December 6th, 2022 18:04

2020 - 2022

Lancaster University Lancaster, GB