Martti Tienari

Publication Activity (10 Years)

Years Active: 1980-2003
Publications (10 Years): 0

Publications

Tomas Ohlin, Lars Heide, Nils Høeg, Martti Tienari
Concluding Remarks. History of Nordic Computing (2003)
Jaana Eloranta, Martti Tienari, Antti Valmari
Essential Transitions to Bisimulation Equivalences. Theor. Comput. Sci. 179 (1-2) (1997)
Timo O. Alanko, Markku Kojo, Heimo Laamanen, Kimmo E. E. Raatikainen, Martti Tienari
Mobile Computing Based on GSM: the Mowgli Approach. IFIP World Conference on Mobile Communications (1996)
Antti Valmari, Martti Tienari
Compositional Failure-based Semantics Models for Basic LOTOS. Formal Aspects Comput. 7 (4) (1995)
Antti Valmari, Martti Tienari
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm. PSTV (1991)
Martti Tienari
Computer Networking of Nordic Universities. BIT 25 (1) (1985)
Martti Tienari
On the definition of attribute grammar. Semantics-Directed Compiler Generation (1980)