Performance Analysis of Idle-Signal Casting Multiple Access (ICMA) Protocols under Pure Rayleigh Fading and No Capture Kee Chaing CHUATe Cheng PANGKin Mun LYE
Service Specification and Its Protocol Specifications in LOTOS--A Survey for Synthesis and Execution-- Teruo HIGASHINO
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1992/03/25 Vol. E75-ANo. 3 ;
pp. 330-338 Type of Manuscript: INVITED PAPER (Special Section on the 4th Karuizawa Workshop on Circuits and Systems) Category: Keyword: LOTOS, communication protocols, distributed systems, formal description techniques, synthesis,