A branching time semantics for the Ada * rendezvousmechanism
- Boumediene Belkhouche
- , R. Raymond Lang
- , Chung Wang
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1
Link opens in a new tab
Citation
(Scopus)