Towards an Epistemic Approach to Reasoning about Concurrent Programs.

Wiebe van der Hoek M. van Hulst John-Jules Ch. Meyer

Published in: REX Workshop (1992)

Keyphrases

concurrent programs
modal operators
concurrent programming
process algebra
web applications
concurrent processes
concurrent systems
machine learning
database systems
knowledge representation
software engineering