The SCEAS System
Navigation Menu

Journals in DBLP

J. Comput. Syst. Sci.
1987, volume: 34, number: 2/3

  1. Donald Sannella, Andrzej Tarlecki
    On Observational Equivalence and Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:150-178 [Journal]
  2. Peter Padawitz
    Parameter-Preserving Data Type Specifications. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:179-209 [Journal]
  3. Ilaria Castellani
    Bisimulations and Abstraction Homomorphisms. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:210-235 [Journal]
  4. Manfred Broy
    Specification and Top-Down Design of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:236-265 [Journal]
  5. Johann A. Makowsky
    Why Horn Formulas Matter in Computer Science: Initial Structures and Generic Examples. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:266-292 [Journal]
  6. Edward K. Blum, Hartmut Ehrig, Francesco Parisi-Presicce
    Algebraic Specification of Modules and Their Basic Interconnections. [Citation Graph (1, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:293-339 [Journal]
  7. Axel Poigné, Josef Voss
    On the Implementation of Abstract Data Types by Programming Language Constructs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:340-376 [Journal]
  8. Paul Boehm, Harald-Reto Fonio, Annegret Habel
    Amalgamation of Graph Transformations: A Synchronization Mechanism. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:377-408 [Journal]
  9. Rod M. Burstall
    Inductively Defined Functions in Functional Programming Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:409-421 [Journal]
  10. Pierpaolo Degano, Ugo Montanari
    Concurrent Histories: A Basis for Observing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1987, v:34, n:2/3, pp:422-461 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002