A fully abstract trace model for dataflow networks
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
CARTESIAN STREAM TRANSFORMER COMPOSITION
Fundamenta Informaticae
Hi-index | 0.00 |