Author:
Chen Yanwen,Chen Yixiang,Madelaine Eric
Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science
Reference30 articles.
1. Lamport L. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 1978, 21(7): 558–565
2. Fidge C. Logical time in distributed computing systems. Computer, 1991, 24(8): 28–33
3. Berry G. The foundations of esterel. In: Proceedings of Proof, Language, and Interaction. 2000, 425–454
4. Benveniste A, Le Guernic P, Jacquemot C. Synchronous programming with events and relations: the signal language and its semantics. Science of computer programming, 1991, 16(2): 103–149
5. Boussinot F, De Simone R. The Esterel language. Proceedings of the IEEE, 1991, 79(9): 1293–1304
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献