A Basic LOTOS/CADP oriented Process Algebra with Applications

Michael Yoeli, Prof. Emeritus

myoeli@cs.technion.ac.il

Summary

This tutorial establishes a process algebra (BLA) oriented towards Basic LOTOS and CADP. It also provides an easy introduction to Basic LOTOS and CADP, and illustrates applications to digital systems and circuits.

Contents

Lecture 1 : An Informal Introduction to Processes

Lecture 2 : Processes and Trees

Lecture 3 : Parallel Compositions

Lecture 4 : Basic LOTOS and CADP

Lecture 5 : Introductory Applications

Lecture 6 : Modular Asynchronous Circuits

Lecture 7 : Concepts of Realization

Lecture 8 : Module Decompositions

Lecture 9 : Arbiters