Author:
Nicollin Xavier,Sifakis Joseph
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. D. Austry and G. Boudol. Algèbre de processus et synchronisation. Theoretical Computer Science, 30, 1984.
2. J.C.M. Baeten and J.A. Bergstra. Real Time Process Algebra. Technical Report CS-R9053, Centre for Mathematics and Computer Science, Amsterdam, the Netherlands, 1990.
3. G. Berry and L. Cosserat. The Esterel synchronous programming language and its mathematical semantics. In LNCS 197: Proceedings CMU Seminar on Concurrency, Springer-Verlag, 1985.
4. T. Bolognesi and F. Lucidi. LOTOS-like process algebra with urgent or timed interactions. In Proceedings of REX Workshop “Real-Time: Theory in Practice”. Mook, the Netherlands, June 1991.
5. P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages, Munich, January 1987.
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献