Describing a Signal Analyzer in the Process Algebra PMC - A Case Study

Henrik Reif Andersen, Michael Mendler. Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. In Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, editors, TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings. Volume 915 of Lecture Notes in Computer Science, pages 620-635, Springer, 1995.

Authors

Henrik Reif Andersen

This author has not been identified. Look up 'Henrik Reif Andersen' in Google

Michael Mendler

This author has not been identified. Look up 'Michael Mendler' in Google