A Formal Semantics of Data Flow Diagrams Peter Gorm LarsenNico PlatHans Toetenel Formal Aspects of Computing 10 November 2012 Pages: 586 - 606
Properties of Concurrent Programs K. Mani Chandy Formal Aspects of Computing 10 November 2012 Pages: 607 - 619
Stability, Sequentiality and Demand Driven Evaluation in Dataflow Arnon AvronNada Sasson Formal Aspects of Computing 10 November 2012 Pages: 620 - 642
Specification, Verification and Prototyping of an Optimized Compiler He JifengJonathan Bowen Formal Aspects of Computing 10 November 2012 Pages: 643 - 658
Sharing Analysis Based on Type Inference Yasuhiko Minamide Formal Aspects of Computing 10 November 2012 Pages: 659 - 675
Automatizing Parametric Reasoning on Distributed Concurrent Systems Paola InverardiCorrado PriamiDaniel Yankelevich Formal Aspects of Computing 10 November 2012 Pages: 676 - 695
Infinite Concurrent Systems — I. The Relationship between Metric and Order Convergence Mike Stannett Formal Aspects of Computing 10 November 2012 Pages: 696 - 715
A Principle for Sequential Reasoning about Distributed Algorithms F. A. StompW.-R de Roever Formal Aspects of Computing 10 November 2012 Pages: 716 - 737