Communicating Reactive State Machines: Design, Model and Implementation
暂无分享,去创建一个
[1] Nicolas Halbwachs,et al. Compositional Semantics of Non-Deterministic Synchronous Languages , 1996, ESOP.
[2] S. Ramesh,et al. Implementation of communicating reactive processes , 1999, Parallel Comput..
[3] S. Ramesh. A New Efficient Implementation of CSP with Output Guards , 1987, ICDCS.
[4] S. Ramesh,et al. Impossibility of Synchronization in the Presence of Preemption , 1998, Parallel Process. Lett..
[5] Dirk Taubner,et al. Verification in Process Algebra of the Distributed Control of Track Vehicles - A Case Study , 1992, CAV.
[6] Yih-Kuen Tsay,et al. A real-time algorithm for fair interprocess synchronization , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.
[7] Florence Maraninchi,et al. Operational and Compositional Semantics of Synchronous Automaton Compositions , 1992, CONCUR.
[8] S. Ramesh,et al. Communicating reactive processes , 1993, POPL '93.
[9] C. A. R. Hoare,et al. Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.