Login / Signup
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Rocco De Nicola
Alessandro Fantechi
Stefania Gnesi
Gioia Ristori
Published in:
Comput. Networks ISDN Syst. (1993)
Keyphrases
</>
concurrent systems
main contribution
logical framework
key properties
relational databases
state space
desirable properties