Characterizing Timed Net Processes Categorically
PaCT '01 Proceedings of the 6th International Conference on Parallel Computing Technologies
Semantic domains of timed event structures
Programming and Computing Software
A brief survey and synthesis of the roles of time in petri nets
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |