Asynchrony, Ordering, and Protocols

Add to your list(s) Download to your calendar using vCal

• Amit Chopra (Lancaster University)
• Thursday 17 October 2019, 15:00-16:00
• Lecture Theatre 2, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Marco Caballero.

Abstract: Any application involving autonomous components, or agents, is conceptually decentralized. Decentralization motivates coordination between agents via asynchronous messaging and a protocol that specifies the constraints on messaging.

I will introduce the Blindingly Simple Protocol Language, or BSPL , a declarative information-based protocol language of considerable novelty. Unlike other protocol languages, BSPL explicitly specifies information causality and integrity. I will compare BSPL with select modern languages that broadly fall under the umbrella of session types on the basis of vital representational and operational criteria, among them ordering assumptions and concurrency, and broad architectural principles.

BSPL embraces autonomy, concurrency, and asynchrony—naturally—and in that it gives us an opportunity to reimagine distributed computing.

Bio: Amit Chopra is a senior lecturer at Lancaster University. He is interested in the engineering of decentralized sociotechnical systems, with a focus on protocols, norms, and social meanings.

This talk is part of the Computer Laboratory Systems Research Group Seminar series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• CL's SRG seminar
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge talks
• Chris Davis' list
• Computer Laboratory Systems Research Group Seminar
• Department of Computer Science and Technology talks and seminars
• Interested Talks
• Lecture Theatre 2, Computer Laboratory, William Gates Building
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587

Note that ex-directory lists are not shown.