Stream-Based Specification of Mobile Systems.

Radu Grosu Ketil Stølen Stream-Based Specification of Mobile Systems. 1-31 2001 13 Formal Asp. Comput. 1 http://link.springer.de/link/service/journals/00165/bibs/1013001/10130001.htm db/journals/fac/fac13.html#GrosuS01