Volume 6, Issue 6

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

December 1994

9 articles in this issue

Editorial
John Cooke
Formal Aspects of Computing 10 November 2012 Pages: 585 - 585
A Formal Semantics of Data Flow Diagrams
Peter Gorm Larsen
Nico Plat
Hans 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 Avron
Nada Sasson
Formal Aspects of Computing 10 November 2012 Pages: 620 - 642
Specification, Verification and Prototyping of an Optimized Compiler
He Jifeng
Jonathan 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 Inverardi
Corrado Priami
Daniel 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. Stomp
W.-R de Roever
Formal Aspects of Computing 10 November 2012 Pages: 716 - 737

Volume 6, Issue 6

Search

Navigation