Interaction Abstract Machines (1993)

by J M Andreoli, P Ciancarini, R Pareschi
Venue:Research Directions in Concurrent Object Oriented Programming