Concepedia

Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).

Rob J. van Glabbeek, W. P. Weijland

IFIP Congress · 1989 · 136 citations · 0 references

Concepts