Login / Signup
A deadlock-sensitive congruence for action refinement
Rob van Glabbeek
Ursula Goltz
Published in:
Forschungsberichte, TU Munich (1990)
Keyphrases
</>
joint action
action descriptions
database
real time
neural network
e learning
case study
database systems
multiscale
objective function
logic programs
query refinement
socio technical
refinement process