A Synchronization Calculus for Message Oriented Programming.

Paulo Roberto Freire Cunha T. S. E. Maibaum

Published in: ICDCS (1981)

Keyphrases

oriented programming
object oriented
email
multi agent
message delivery
database
automated deduction
chaotic systems
website
genetic algorithm
natural language
mobile phone
information systems
formal language
relational calculus
artificial intelligence
computer algebra
interface agent
learning algorithm