Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. From regular expression to deterministic automata;Berry;Theoret. Comput. Sci.,1987
2. Proposition de sémantique dénotationnelle pour des réseaux de processus avec mélange équitable;Boussinot;Theoret. Comput. Sci.,1982
3. Scenarios, a model of non determinate computation;Brock,1981
4. A functional model for describing and reasoning about time behaviour of computing systems;Caspi;Acta Inform,1986
5. Lustre: a declarative language for programming synchronous systems;Caspi;14th ACM Symp. on Principles of Programming Languages,1987
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献