The denotational semantics of dynamic networks of processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Concurrent transition system semantics of process networks
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On the relations computable by a class of concurrent automata
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proceedings of the 4th ACM international conference on Embedded software
A relational model of non-deterministic dataflow
Mathematical Structures in Computer Science
Requirements on the execution of Kahn process networks
ESOP'03 Proceedings of the 12th European conference on Programming
Hi-index | 0.00 |