Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference41 articles.
1. P. America, ?Issues in the design of a parallel object-oriented language,? Formal Aspects of Computing, Vol. 1, No. 4, 1989.
2. P. America, ?Formal techniques for parallel object-oriented languages,? in (Baeten and Groote, 1991), pp. 1?17, 1991.
3. P. America and J. Rutten, ?A parallel object-oriented language: Design and semantic foundations,? PhD thesis, Free University of Amsterdam, 1989.
4. R.J.R. Back, ?Refinement calculus, part II: Parallel and reactive systems,? in (de Bakker et al., 1990), pp. 67?93, 1989.
5. J.A. Bergstra and L.M.G. Feijs (Eds.), ?Algebraic methods II: Theory tools and applications,? Vol. 490 of Lecture Notes in Computer Science, Springer-Verlag, 1991.
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献