|
| Keyword : structured operational semantics
|
Deriving Compositional Models for Concurrency Based on de Bakker-Zucker Metric Domain from Structured Operational Semantics
Eiichi HORITA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/03/25
Vol. E75-A
No. 3 ;
pp. 400-409
Type of Manuscript:
Special Section PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems)
Category:
Keyword:
concurrency, compositional model, metric domain, structured operational semantics, | | | Summary | Full Text:PDF | |
|
|