Discrete time generative-reactive probabilistic processes with different advancing speeds
Theoretical Computer Science
The SALADIN project: summary report
ACM SIGSOFT Software Engineering Notes
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Specification and Analysis of Timed and Functional TRMCS Behaviours
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Bisimulation on speed: worst-case efficiency
Information and Computation
On the expressiveness of timed coordination models
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
A timed calculus for wireless systems
Theoretical Computer Science
Hi-index | 0.00 |