Login / Signup
Structured Transition Systems with Parametric Observations: Observational Congruences and Minimal Realizations.
Gian Luigi Ferrari
Ugo Montanari
Miranda Mowbray
Published in:
Math. Struct. Comput. Sci. (1997)
Keyphrases
</>
transition systems
concurrent systems
model checking
temporal logic
finite state
practical reasoning
control flow
random variables
distributed systems
reactive systems
search algorithm
domain independent