https://scholars.lib.ntu.edu.tw/handle/123456789/502444
Title: | Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines. | Authors: | Rosier, Louis E. HSU-CHUN YEN |
Issue Date: | 1985 | Start page/Pages: | 287-298 | Source: | STACS 85, 2nd Symposium of Theoretical Aspects of Computer Science, Saarbr?cken, Germany, January 3-5, 1985, Proceedings | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/502444 | DOI: | 10.1007/BFb0024017 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.