Martti Tienari

According to our database, Martti Tienari authored at least 7 papers between 1980 and 2003.

Collaborative distances:

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

2003

Concluding Remarks.

Tomas Ohlin, Lars Heide, Nils Høeg, Martti Tienari

Proceedings of the History of Nordic Computing, 2003

1997

Essential Transitions to Bisimulation Equivalences.

Jaana Eloranta, Martti Tienari, Antti Valmari

Theor. Comput. Sci., 1997

1996

Mobile Computing Based on GSM: the Mowgli Approach.

Timo O. Alanko, Markku Kojo, Heimo Laamanen, Kimmo E. E. Raatikainen, Martti Tienari

Proceedings of the Mobile Communications: Technology, 1996

1995

Compositional Failure-based Semantics Models for Basic LOTOS.

Antti Valmari, Martti Tienari

Formal Aspects Comput., 1995

1991

An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.

Antti Valmari, Martti Tienari

Proceedings of the Protocol Specification, 1991

1985

Computer Networking of Nordic Universities.

Martti Tienari

BIT, 1985

1980

On the definition of attribute grammar.

Martti Tienari

Proceedings of the Semantics-Directed Compiler Generation, 1980