My PhD Thesis (1982) – scanned copy in pdf

I have finally managed to scan my PhD thesis “Design and Implementation of Asynchronous Communication Protocols in Systems Interfaces” in Russian (“Проектирование и реализация протоколов асинхронного обмена информацией в межмодульном интерфейсе”)

The thesis is spread between several files (total – 255 pages):

Title, Contents and Introduction:

Chapter 1 (General characterization of the methods of formal synthesis and analysis of communication protocols): 

Chapter 2 (Formalization of the behaviour of interacting objects and communication protocols):

Chapter 3 (Interpretation of asynchronous processes and use of interpreted models for the description and analysis of protocols):

Chapter 4 (Organization of aperiodic interface of intermodular communication):

Conclusion and References:

Appendinces (1-5):

(1) Example of context procedure

(2) Example of controlled protocol

(3) Application of Petri nets to specification of asynchronous discrete structures

(4) Information transfer on three-state lines

(5) Analysis and implementation of the TRIMOSBUS interface

Exploitation confirmation letter from Ufa plant


Talk about Asynchronous Design for IoT at the ALIOT Workshop

An ErasmusPlus-funded project ALIOT “Internet of Things: Emerging Curriculum for Industry and Human Applications” held its workshop in Newcastle on 9-11th July 2018.

I gave an invited talk on “Asynchronous Design for IoT” where I also showed retrospectively some history of developments in the field of asynchronous system design where I have been involved for nearly 40 years, first in St Petersburg and then in Newcastle.

The slides of my talk can be found here: