Debugging Concurrent Systems Based on Object Groups.

Yasuaki Honda Akinori Yonezawa

Published in: ECOOP (1988)

Keyphrases

concurrent systems
temporal logic
distributed systems
similar objects
process algebra
d objects
model checking
neural network
object model
formal specification
artificial intelligence
social networks
viewpoint
production system
target object
transition systems