Erratic fudgets: a semantic theory for an embedded coordination language
Science of Computer Programming - Special issue on coordination languages and architectures
A fully abstract trace model for dataflow and asynchronous networks
Distributed Computing
Communication traces in the verification of distributed programs
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |