Resource Modeling for Timed Creol Models

R. Schlatte, B. Aichernig, A. Griesmayer, and M. Kyas

Abstract:

Reference: R. Schlatte, B. Aichernig, A. Griesmayer, and M. Kyas. Resource modeling for timed creol models. Electron. Notes Theor. Comput. Sci., 266:63-75, 2010.