Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
Programming and Computing Software
Weakest Congruence Results Concerning "Any-Lock"
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Information and Computation
Hi-index | 0.00 |