Login / Signup
A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence.
Fiorella de Cindio
Giorgio De Michelis
Lucia Pomello
Carla Simone
Published in:
Concurrency (1988)
Keyphrases
</>
concurrent systems
transition systems
temporal logic
data sets
state space
distributed systems
interactive dynamic influence diagrams
neural network
real world
information systems
website
finite state machines
process algebra