An Object Oriented Interpretation of LOTOS

Elspeth Cusack, Steve Rudkin, Chris Smith

Formal Techniques for (Networked and) Distributed Systems · 1989 · 41 citations · 0 references

Concepts