DMCA
Discrete Time Process Algebra and the Semantics of SDL (1998)
by
J. A. Bergstra
,
C. A. Middelburg
,
Y. S. Usenko
| Venue: | CWI REPORT SEN-R9809, CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE |
| Citations: | 11 - 6 self |
BibTeX
@TECHREPORT{Bergstra98discretetime,
author = {J. A. Bergstra and C. A. Middelburg and Y. S. Usenko},
title = {Discrete Time Process Algebra and the Semantics of SDL},
institution = {CWI REPORT SEN-R9809, CENTRE FOR MATHEMATICS AND COMPUTER SCIENCE},
year = {1998}
}
Share
 |
 |
 |
 |
||
