A temporal logic view of paradigm models
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Operational Semantics for Coordination in Paradigm
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Dynamic consistency in process algebra: From Paradigm to ACP
Science of Computer Programming
Hi-index | 0.00 |