Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference25 articles.
1. L. Aceto, Deriving complete inference systems for a class of GSOS languages generating regular behaviors, in: B. Jonnson, J. Parrow (Eds.), Proceedings of CONCUR ’94, Lecture Notes in Computer Science, Vol. 836, Springer, Berlin, 1994, pp. 449–464.
2. Turning SOS rules into equations;Aceto;Inform. Comput.,1994
3. C. André, Representation and analysis of reactive behaviors: a synchronous approach, Presented at CESA’96, IEEE-SMC, Lille, France, 1996.
4. A. Benveniste, G. Berry (Eds.), Another look at real-time systems (special issue), Proc. IEEE 79 (1991) 1268–1336.
5. Process algebra for synchronous communication;Bergstra;Inform. Comput.,1984
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献