Concurrent Runtime Monitoring of Formally Specified Programs.

Sriram Sankar Manas Mandal

Published in: Computer (1993)

Keyphrases

runtime environment
monitoring system
real time
computer programs
parallel computation
concurrent programs
databases
answer sets
database
database server
automatic programming
health monitoring
concurrent programming