文献
J-GLOBAL ID:200902021018616016
整理番号:93A0521853
LOTOS-like process algebras with urgent or timed interactions.
著者 (2件):
BOLOGNESI T
(CNUCE/C.N.R., Pisa, ITA)
,
LUCIDI F
(Fondazione U. Bordoni, Roma, ITA)
資料名:
IFIP Transactions C: Communication Systems
(IFIP Transactions C: Communication Systems)
巻:
2
ページ:
249-264
発行年:
1992年
JST資料番号:
W0459A
ISSN:
0926-549X
資料種別:
逐次刊行物 (A)
発行国:
オランダ (NLD)
言語:
英語 (EN)