| | |
Summary: LOTOS Interpretation of Timethreads:
A Method and a Case Study
F. Bordeleau, D. Amyot
Report SCE-93-34
December 8, 1993
Department of Systems and Computer Engineering
Carleton University
Ottawa Canada K1S 5B6
email: francis@sce.carleton.ca
damyot@csi.uottawa.ca
This work has been supervised by Professor R.J.A. Buhr (U. Carleton) and Professor
L. Logrippo (Ottawa U.).
© Copyright D. Amyot, F. Bordeleau
Department of Computer Science, University of Ottawa.
Department of Systems and Computer Engineering, Carleton University
__________________________________________________________________________________________________________________________________________________________________________________________
December 8, 1993 LOTOS Interpretation of Timethreads: A Method and a Case Study page 1 of 30
LOTOS Interpretation of Timethreads:
A Method and a Case Study
Francis Bordeleau1
|
