Author:
Aranda Jesús,Di Giusto Cinzia,Palamidessi Catuscia,Valencia Frank D.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Aranda, J., Di Giusto, C., Nielsen, M., Valencia, F.: On the Expressiveness of CCS with Replication. Technical Report, LIX Ecole Polytechnique (2007), URL www.cs.unibo.it/~digiusto/research/ccsrep.pdf
2. Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
3. Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification on infinite structures. In: Handbook of process algebra, vol. 9, pp. 545–623. Elsevier, North-Holland (2001)
4. Lecture Notes in Computer Science;N. Busi,2003
5. Lecture Notes in Computer Science;N. Busi,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献