Login / Signup
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