Formal Description Technique Estelle: Results of the Esprit Sedos Project

Broadcast Channels in Estelle

IEEE Transactions on Computers - Special issue on protocol engineering

Simulation of communications architecture specifications using Prolog

ACM SIGAPP Applied Computing Review

Specification and analysis of the SNR high-speed transport protocol

IEEE/ACM Transactions on Networking (TON)

Duplication, insertion and lossiness errors in unreliable communication channels

SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering

High level transition systems for communicating agents

Concurrent object-oriented programming and petri nets

Specification and analysis of a data transfer protocol using systems of communicating machines

Distributed Computing

An integrated approach to coordination description in distributed multimedia applications

Integrated Computer-Aided Engineering

Performance Evaluation Of Systems Defined In Specification Language Estelle

Fundamenta Informaticae