Synchronous and asynchronous experiments on processes
Information and Control
Journal of the ACM (JACM)
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to VLSI Systems
Hi-index | 0.03 |
A language for describing communicating systems is described. It is sufficiently expressive to describe both the desired behavior of systems, their specifications, and their actual implementations in terms of simpler components. We say I satisfies S if 1 is a correct implementation of the specification S. We briefly discuss a semantic treatment of this notion of satisfaction, but the main emphasis of the paper is on a proof technique for proving statements of the form I satisfies S, based on syntactic transformations and induction. Two examples are given, both systolic systems from the literature.