Semantic correctness for a parallel object-oriented language

• Authors:

• J. J. M. Rutten

• Affiliations:

• Centre for Mathematics and Computer Science, Amsterrdam, The Netherlands

• Venue:
• SIAM Journal on Computing
• Year:
• 1990