Dag Belsnes

Publication Activity (10 Years)

Years Active: 1971-1994
Publications (10 Years): 0

Publications

Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan
Formal Methods and Service Specification. IS&N (1994)
Maria Manuela Marques, Dag Belsnes, Malachy Murphy
Formalisation Based on Understanding. FORTE (1993)
Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle
Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL. Comput. Networks 13 (1987)
Terje Noodt, Dag Belsnes
A simple extension of Pascal for quasi-parallel processing. ACM SIGPLAN Notices 15 (5) (1980)
Dag Belsnes, Ejvind Lynning
Some problems with the X.25 packet level protocol. Comput. Commun. Rev. 7 (4) (1977)
Dag Belsnes
Single-Message Communication. IEEE Trans. Commun. 24 (2) (1976)
Stål Aanderaa, Dag Belsnes
Decision Problems for Tag Systems. J. Symb. Log. 36 (2) (1971)