State Visibility and Communication in Unifying Theories of Programming.

Andrew Butterfield Pawel Gancarski Jim Woodcock

Published in: TASE (2009)

Keyphrases

theoretical framework
programming environment
asynchronous communication
artificial intelligence
communication systems
databases
data mining
machine learning
reinforcement learning
programming language
information sharing
communication technologies