Dag Belsnes

According to our database, Dag Belsnes authored at least 7 papers between 1971 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1994

Formal Methods and Service Specification.

Mícheál Mac an Airchinnigh, Dag Belsnes, Gerard O'Regan

Proceedings of the Towards a Pan-European Telecommunication Service Infrastructure, 1994

1993

Formalisation Based on Understanding.

Maria Manuela Marques, Dag Belsnes, Malachy Murphy

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1987

Rationale and Tutorial on OSDL: An Object-Oriented Extension of SDL.

Birger Møller-Pedersen, Dag Belsnes, Hans Petter Dahle

Comput. Networks, 1987

1980

A simple extension of Pascal for quasi-parallel processing.

Terje Noodt, Dag Belsnes

ACM SIGPLAN Notices, 1980

1977

Some problems with the X.25 packet level protocol.

Dag Belsnes, Ejvind Lynning

Comput. Commun. Rev., 1977

1976

Single-Message Communication.

Dag Belsnes

IEEE Trans. Commun., 1976

1971

Decision Problems for Tag Systems.

Stål Aanderaa, Dag Belsnes

J. Symb. Log., 1971