Frank S. de Boer;Jozef Hooman
-;-
Semantic models of a timed distributed dataspace architecture
Theoretical Computer Science - Formal methods for components and objects