Journals in DBLP
Ahmed Saoudi , David E. Muller , Paul E. Schupp Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:233-244 [Journal ] Stephen L. Bloom , Zoltán Ésik Iteration Algebras. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:245-302 [Journal ] P. Krishnan A Calculus of Timed Communicating Systems. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:303-322 [Journal ] Y. Cheng , Frank K. Hwang , Ian F. Akyildiz , D. Frank Hsu Routing Algorithms for Double Loop Networks. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:323-331 [Journal ] David J. Pym A Unification Algorithm for the lambda-Pi-Calculus. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:333-378 [Journal ] S. Antonelli , Susanna Pelagatti On the Complexity of the Mapping Problem for Massively Parallel Architectures. [Citation Graph (0, 0)][DBLP ] Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:379-387 [Journal ]