Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. CASL—the common algebraic specification language;Astesiano;Theoret. Comput. Sci.,2002
2. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner (Eds.), Algebraic Foundations of System Specification, Springer, Berlin, 2000.
3. The connection between an event structure semantics and an operational semantics for TCSP;Baier;Acta Informatica,1994
4. J.A. Bergstra, A. Ponse, S.A. Smolka (Eds.), Handbook of Process Algebra, Elsevier, Amsterdam, 2001.
5. A. Gimblett, M. Roggenbach, H. Schlingloff, Towards a Formal Specification of an Electronic Payment System in CSP-CASL, in: J.L. Fiadeiro, P.D. Mosses, F. Orejas (Eds.), Recent Trends in Algebraic Development Techniques, Revised Selected Papers of WADT, Lecture Notes in Computer Science, Vol. 3423, pp. 61–78, Springer, Berlin 2005.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献