University of Cambridge > Talks.cam > Computer Laboratory Systems Research Group Seminar > Asynchrony, Ordering, and Protocols

Asynchrony, Ordering, and Protocols

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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity