Düntsch, Ivo A logic for rough sets. (English) Zbl 0896.03050 Theor. Comput. Sci. 179, No. 1-2, 427-436 (1997). MSC: 03G10 03B60 06D15 PDF BibTeX XML Cite \textit{I. Düntsch}, Theor. Comput. Sci. 179, No. 1--2, 427--436 (1997; Zbl 0896.03050) Full Text: DOI
Koslowski, Jürgen Note on free algebras over continuous domains. (English) Zbl 0896.08008 Theor. Comput. Sci. 179, No. 1-2, 421-425 (1997). MSC: 08B20 06B35 68Q55 08A70 PDF BibTeX XML Cite \textit{J. Koslowski}, Theor. Comput. Sci. 179, No. 1--2, 421--425 (1997; Zbl 0896.08008) Full Text: DOI
Eloranta, Jaana; Tienari, Martti; Valmari, Antti Essential transitions to bisimulation equivalences. (English) Zbl 0901.68140 Theor. Comput. Sci. 179, No. 1-2, 397-419 (1997). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Eloranta} et al., Theor. Comput. Sci. 179, No. 1--2, 397--419 (1997; Zbl 0901.68140) Full Text: DOI
Ibarra, Oscar H.; Tran, Nicholas Q.; Yang, Tao On the parallel complexity of loops. (English) Zbl 0901.68071 Theor. Comput. Sci. 179, No. 1-2, 381-395 (1997). MSC: 68Q15 PDF BibTeX XML Cite \textit{O. H. Ibarra} et al., Theor. Comput. Sci. 179, No. 1--2, 381--395 (1997; Zbl 0901.68071) Full Text: DOI
Gurevich, Yuri; Huggins, James K. Equivalence is in the eye of the beholder. (English) Zbl 0901.68125 Theor. Comput. Sci. 179, No. 1-2, 353-380 (1997). MSC: 68Q65 PDF BibTeX XML Cite \textit{Y. Gurevich} and \textit{J. K. Huggins}, Theor. Comput. Sci. 179, No. 1--2, 353--380 (1997; Zbl 0901.68125) Full Text: DOI
Lamport, Leslie Processes are in the eye of the beholder. (English) Zbl 0901.68126 Theor. Comput. Sci. 179, No. 1-2, 333-351 (1997). MSC: 68Q65 PDF BibTeX XML Cite \textit{L. Lamport}, Theor. Comput. Sci. 179, No. 1--2, 333--351 (1997; Zbl 0901.68126) Full Text: DOI
Sigstam, Inger; Stoltenberg-Hansen, Viggo Representability of locally compact regular spaces by domains and formal spaces. (English) Zbl 0901.68113 Theor. Comput. Sci. 179, No. 1-2, 319-331 (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{I. Sigstam} and \textit{V. Stoltenberg-Hansen}, Theor. Comput. Sci. 179, No. 1--2, 319--331 (1997; Zbl 0901.68113) Full Text: DOI
Yen, Hsu-Chun On reachability equivalence for BPP-nets. (English) Zbl 0901.68070 Theor. Comput. Sci. 179, No. 1-2, 301-317 (1997). MSC: 68Q15 PDF BibTeX XML Cite \textit{H.-C. Yen}, Theor. Comput. Sci. 179, No. 1--2, 301--317 (1997; Zbl 0901.68070) Full Text: DOI
Alagić, Suad; Alagić, Mara Order-sorted model theory for temporal executable specifications. (English) Zbl 0901.68028 Theor. Comput. Sci. 179, No. 1-2, 273-299 (1997). MSC: 68N17 68N99 PDF BibTeX XML Cite \textit{S. Alagić} and \textit{M. Alagić}, Theor. Comput. Sci. 179, No. 1--2, 273--299 (1997; Zbl 0901.68028) Full Text: DOI
Gruska, Jozef; Monti, Angelo; Napoli, Margherita; Parente, Domenico Succinctness of descriptions of SBTA-languages. (English) Zbl 0901.68131 Theor. Comput. Sci. 179, No. 1-2, 251-271 (1997). MSC: 68Q45 PDF BibTeX XML Cite \textit{J. Gruska} et al., Theor. Comput. Sci. 179, No. 1--2, 251--271 (1997; Zbl 0901.68131) Full Text: DOI
Baier, Christel Trees and semantics. (English) Zbl 0901.68114 Theor. Comput. Sci. 179, No. 1-2, 217-250 (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{C. Baier}, Theor. Comput. Sci. 179, No. 1--2, 217--250 (1997; Zbl 0901.68114) Full Text: DOI
Castellani, Ilaria; Zhang, Guo-Qiang Parallel product of event structures. (English) Zbl 0900.68323 Theor. Comput. Sci. 179, No. 1-2, 203-215 (1997). MSC: 68Q85 PDF BibTeX XML Cite \textit{I. Castellani} and \textit{G.-Q. Zhang}, Theor. Comput. Sci. 179, No. 1--2, 203--215 (1997; Zbl 0900.68323) Full Text: DOI
Berline, Chantal; Grue, Klaus A \(\kappa\)-denotational semantics for map theory in ZFC+SI. (English) Zbl 0912.68122 Theor. Comput. Sci. 179, No. 1-2, 137-202 (1997). MSC: 68Q55 PDF BibTeX XML Cite \textit{C. Berline} and \textit{K. Grue}, Theor. Comput. Sci. 179, No. 1--2, 137--202 (1997; Zbl 0912.68122) Full Text: DOI
Doornbos, Henk; Backhouse, Roland; van der Woude, Jaap A calculational approach to mathematical induction. (English) Zbl 0901.68124 Theor. Comput. Sci. 179, No. 1-2, 103-135 (1997). MSC: 68Q65 PDF BibTeX XML Cite \textit{H. Doornbos} et al., Theor. Comput. Sci. 179, No. 1--2, 103--135 (1997; Zbl 0901.68124) Full Text: DOI
Keesmaat, N. W.; Kleijn, H. C. M. Restrictions and representations of vector controlled concurrent system behaviours. (English) Zbl 0901.68068 Theor. Comput. Sci. 179, No. 1-2, 61-102 (1997). MSC: 68Q10 PDF BibTeX XML Cite \textit{N. W. Keesmaat} and \textit{H. C. M. Kleijn}, Theor. Comput. Sci. 179, No. 1--2, 61--102 (1997; Zbl 0901.68068) Full Text: DOI
Bloom, Stephen L.; Ésik, Zoltán The equational logic of fixed points. (English) Zbl 0920.03067 Theor. Comput. Sci. 179, No. 1-2, 1-60 (1997). Reviewer: P.Bankston (Milwaukee) MSC: 03G30 18C10 08A70 03D75 08B05 06B35 68Q55 PDF BibTeX XML Cite \textit{S. L. Bloom} and \textit{Z. Ésik}, Theor. Comput. Sci. 179, No. 1--2, 1--60 (1997; Zbl 0920.03067) Full Text: DOI