Hungar, Hardi; Steffen, Bernhard Local model checking for context-free processes. (English) Zbl 0817.68102 Nord. J. Comput. 1, No. 3, 364-385 (1994). MSC: 68Q60 68T15 PDF BibTeX XML Cite \textit{H. Hungar} and \textit{B. Steffen}, Nord. J. Comput. 1, No. 3, 364--385 (1994; Zbl 0817.68102) OpenURL
Havelund, Klaus; Larsen, Kim Guldstrand The fork calculus. (English) Zbl 0817.68101 Nord. J. Comput. 1, No. 3, 346-363 (1994). MSC: 68Q60 68Q10 68Q55 PDF BibTeX XML Cite \textit{K. Havelund} and \textit{K. G. Larsen}, Nord. J. Comput. 1, No. 3, 346--363 (1994; Zbl 0817.68101) OpenURL
Chlebus, Bogdan S.; Diks, Krzysztof; Pelc, Andrzej Sparse networks supporting efficient reliable broadcasting. (English) Zbl 0817.68019 Nord. J. Comput. 1, No. 3, 332-345 (1994). MSC: 68M10 68Q25 90B18 PDF BibTeX XML Cite \textit{B. S. Chlebus} et al., Nord. J. Comput. 1, No. 3, 332--345 (1994; Zbl 0817.68019) OpenURL
Kann, Viggo Polynomially bounded minimization problems that are hard to approximate. (English) Zbl 0817.68082 Nord. J. Comput. 1, No. 3, 317-331 (1994). MSC: 68Q15 68Q25 68R10 PDF BibTeX XML Cite \textit{V. Kann}, Nord. J. Comput. 1, No. 3, 317--331 (1994; Zbl 0817.68082) OpenURL
Marathe, Madhav V.; Hunt, Harry B. III; Ravi, S. S. The complexity of approximating PSPACE-complete problems for hierarchical specifications. (English) Zbl 0817.68092 Nord. J. Comput. 1, No. 3, 275-316 (1994). MSC: 68Q25 68W35 68Q60 68R10 68Q15 PDF BibTeX XML Cite \textit{M. V. Marathe} et al., Nord. J. Comput. 1, No. 3, 275--316 (1994; Zbl 0817.68092) OpenURL
Lingas, Andrzej Proceedings of the 20th international colloquium on automata, languages and programming (ICALP), held at Lund University, Lund, Sweden, July 5-9, 1993. (English) Zbl 0814.00022 Nord. J. Comput. 1, No. 3, 273-385 (1994). MSC: 00B25 68-06 PDF BibTeX XML Cite \textit{A. Lingas}, Nord. J. Comput. 1, No. 3, 273--385 (1994; Zbl 0814.00022) OpenURL