Semantics models for concurrent logic languages

• Authors:

• F. S. de Boer;J.J. M.M Rutten;J. N. Kok;C. Palamidessi

• Affiliations:

• Centre for Mathematics and Computer Science, Amsterdam, Netherlands;Centre for Mathematics and Computer Science, Amsterdam, Netherlands;Ultrecht Univ., Ultrecht, Netherlands;Univ. di Pisa, Pisa, Italy

• Venue:
• Theoretical Computer Science
• Year:
• 1991