Journals in DBLP

Formal Asp. Comput.
1994, volume: 6, number: 6

1. Peter Gorm Larsen, Nico Plat, Hans Toetenel
   A Formal Semantics of Data Flow Diagrams. [Citation Graph (1, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:586-606 [Journal]
   
2. K. Mani Chandy
   Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:607-619 [Journal]
   
3. Arnon Avron, Nada Sasson
   Stability, Sequentiality and Demand Driven Evaluation in Dataflow. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:620-642 [Journal]
   
4. Jifeng He, Jonathan P. Bowen
   Specification, Verification and Prototyping of an Optimized Compiler. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:643-658 [Journal]
   
5. Yasuhiko Minamide
   Sharing Analysis Based on Type Interface. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:659-675 [Journal]
   
6. Paola Inverardi, Corrado Priami, Daniel Yankelevich
   Automatizing Parametric Reasoning on Distributed Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:676-695 [Journal]
   
7. Mike Stannett
   Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:696-715 [Journal]
   
8. Frank A. Stomp, Willem P. de Roever
   A Principle for Sequential Reasoning about Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 1994, v:6, n:6, pp:716-737 [Journal]