Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference23 articles.
1. V. Ambriola, P. Ciancarini, C. Montangero: Software process enactment in Oikos. In R. N. Taylor, editor,Proc. of ACM SIGSOFT '90, ACM Soft. Eng. Notes 15(6), Dec. 1990.
2. V. Ambriola, C. Montangero: Oikos at the age of three. In J. C. Derniame, editor,Software Process Technology, Proc. 2nd European Workshop 1992, pages 84–93. LNCS 653, Springer-Verlag, 1992.
3. V. Ambriola, C. Montangero: Oikos: constructing proces-centred SDEs. In A. Finkelstein, J. Kramer, B. Nuseibeh, editors,Software Process Modelling and Technology, Taunton, 1994. Research Study Press. To appear.
4. E. Astesiano, A. Giovini, G. Reggio: Processes as data types: Observational semantics and logic. In I. Guessarian, editor,Semantics of Systems of Concurrent Processes, pages 1–20. LNCS 469, Springer-Verlag, 1990.
5. E. Astesiano, G. Reggio: Direct semantics of concurrent languages in the SMoLCS approach.IBM Journal of Research and Development, 31(5):512–534, Sep 1987.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献