A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages.

Michael Papathomas

Published in: Object-Based Concurrent Computing (1991)

Keyphrases

object oriented languages
process model
development process
databases
artificial intelligence
design process
conceptual model
situation calculus
logical framework