Languages for parallel architectures : design, semantics, implementation models
J. W. de Bakker · International Linear Collider · 1989
A parallel object-oriented language - design and semantic foundations, P.America and J.Rutten AADL - a net-based specification method for computer architecture design, W.Damm and G.Dohmen deriving a parallel evaluation model for lazy functional languages using abstract interpretation, G.Burn using resolution for a sound and efficient integration of logic and functional programming, P.Bosco et al principles of FP2 - term algebras for specification of parallel machines, P.Shnoebelen and P.Jorrand.