Works matching IS 09601295 AND DT 1997 AND VI 7 AND IP 3

Structured transition systems with parametric observations: observational congruences and minimal realizations.

Published in:

Mathematical Structures in Computer Science, 1997, v. 7, n. 3, p. 241, doi. 10.1017/s0960129597002284

By:

• FERRARI, GIANLUIGI;
• MONTANARI, UGO;
• MOWBRAY, MIRANDA

Publication type:

Article