Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
LOTOS Interpretation of Timethreads: A Method and a Case Study
 

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

  

Source: Amyot, Daniel - School of Information Technology and Engineering, University of Ottawa

 

Collections: Computer Technologies and Information Sciences