14 | Tapio Halkola, Kaj Johansson, and Leo Ojala. Net theoretical methods in modelling byzantine consensus protocols in agreement problems. Research Report A9, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988. |
|
13 | Marko Rauhamaa. Design and implementation of a reduction tool for PrT-nets. Technical Report B6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1988. |
|
12 | Kaj Johansson. Modelling message protocols for the byzantine generals problem. Research Report A8, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, November 1988. |
|
11 | Petri Krohn and Marko Rauhamaa. Reduction transformations of PrT-nets. Research Report A7, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, October 1988. |
|
10 | Ilkka Niemelä. On the complexity of the decision problem in propositional nonmonotonic logic. In Proceedings of the 2nd Workshop on Computer Science Logic, pages 226–239, Duisburg, FRG, October 1988. Springer-Verlag. |
|
9 | Abbas Moslemie. Towards automatic interpretation of S-invariants of predicate/transition nets. Research Report A6, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, August 1988. |
|
8 | Ilkka Niemelä. Autoepistemic predicate logic. In Proceedings of the 8th European Conference on Artificial Intelligence, pages 595–600, München, August 1988. Pitman Publishing. |
|
7 | Ilkka Niemelä. Decision procedures for quantified non-monotonic logic. In Proceedings of the Finnish Artificial Intelligence Symposium, pages 418–427, Helsinki, Finland, August 1988. Limes ry. |
|
6 | Nisse Husberg. Petri nets in algebraic theories – a category theory approach. Technical Report B5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, June 1988. |
|
5 | Victor Varshavsky and Mikko Tiusanen. Hardware support of concurrent process interaction and synchronization: On the principle of autocorrect implementation. Technical Report B4, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, May 1988. |
|
4 | Ilkka Niemelä. Decision procedure for autoepistemic logic. In Proceedings of the 9th International Conference on Automated Deduction, pages 675–684, Argonne, USA, May 1988. Springer-Verlag. |
|
3 | Esa Kettunen, Esa Montonen, and Timo Tuuliniemi. An interactive PrT-net tool for verification of SDL-specifications. Technical Report B3, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, February 1988. |
|
2 | Heikki Tuominen. Logic in Petri net analysis. Research Report A5, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988. |
|
1 | Mikko Tiusanen. Some unsolved problems in modelling self-timed circuits using Petri nets. Technical Report B2, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, January 1988. |
|