Wagner, E. G. On the role of memory in object-based and object-oriented languages. (English) Zbl 0874.68034 Theor. Comput. Sci. 140, No. 1, 179-199 (1995). MSC: 68N15 PDFBibTeX XMLCite \textit{E. G. Wagner}, Theor. Comput. Sci. 140, No. 1, 179--199 (1995; Zbl 0874.68034) Full Text: DOI
Navarro, Marisa; Orejas, Fernando; Sánchez, Ana On the correctness of modular systems. (English) Zbl 0874.68065 Theor. Comput. Sci. 140, No. 1, 139-177 (1995). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Navarro} et al., Theor. Comput. Sci. 140, No. 1, 139--177 (1995; Zbl 0874.68065) Full Text: DOI
Mokkedem, Abdelillah; Méry, Dominique On using temporal logic for refinement and compositional verification of concurrent systems. (English) Zbl 0874.68114 Theor. Comput. Sci. 140, No. 1, 95-138 (1995). MSC: 68Q10 PDFBibTeX XMLCite \textit{A. Mokkedem} and \textit{D. Méry}, Theor. Comput. Sci. 140, No. 1, 95--138 (1995; Zbl 0874.68114) Full Text: DOI
Gorrieri, Roberto; Roccetti, Marco; Stancampiano, Enrico A theory of processes with durational actions. (English) Zbl 0874.68113 Theor. Comput. Sci. 140, No. 1, 73-94 (1995). MSC: 68Q10 PDFBibTeX XMLCite \textit{R. Gorrieri} et al., Theor. Comput. Sci. 140, No. 1, 73--94 (1995; Zbl 0874.68113) Full Text: DOI
Laroussinie, F.; Pinchinat, S.; Schnoebelen, Ph Translations between modal logics of reactive systems. (English) Zbl 0874.68273 Theor. Comput. Sci. 140, No. 1, 53-71 (1995). MSC: 68T27 68Q60 PDFBibTeX XMLCite \textit{F. Laroussinie} et al., Theor. Comput. Sci. 140, No. 1, 53--71 (1995; Zbl 0874.68273) Full Text: DOI
Pigozzi, Don; Salibra, Antonino Lambda abstraction algebras: representation theorems. (English) Zbl 0874.68188 Theor. Comput. Sci. 140, No. 1, 5-52 (1995). MSC: 68Q55 PDFBibTeX XMLCite \textit{D. Pigozzi} and \textit{A. Salibra}, Theor. Comput. Sci. 140, No. 1, 5--52 (1995; Zbl 0874.68188) Full Text: DOI
Scollo, G. (ed.); Rus, T. (ed.) AMAST ’93, 3rd international conference on Algebraic Methodology and software technology, June 21–25, 1993, University of Twente, Enschede, Netherlands. (English) Zbl 0878.00084 Theor. Comput. Sci. 140, No. 1, 199 p. (1995). MSC: 00B25 68-06 68Nxx PDFBibTeX XML