Login / Signup
Refinement of Concurrent Systems Based on Local State Transformations.
Lucia Pomello
Published in:
REX Workshop (1989)
Keyphrases
</>
concurrent systems
transition systems
state space
temporal logic
neural network
distributed systems
model checking
real time
similarity measure
process algebra