Publication:4341025
From MaRDI portal
zbMath0870.68098MaRDI QIDQ4341025
Mila E. Majster-Cederbaum, Christel Baier
Publication date: 15 September 1997
68Q55: Semantics in the theory of computing
Related Items
Metric semantics for true concurrent real time, The connection between initial and unique solutions of domain equations in the partial order and metric approach