External Links

    Journal: Formal Asp. Comput.

    Volume 9, Issue 4

    349 -- 358Colin O Halloran, R. D. Arthan, D. King. Using a Formal Specification Contractually
    359 -- 378Charanjit S. Jutla, Josyula R. Rao. A Methodology for Designing Proof Rules for Fair Parallel Programs
    379 -- 394Ralf Kneuper. Limits of Formal Methods
    395 -- 408Mark B. Josephs, Andrew M. Bailey. The Use of SI-Algebra in the Design of Sequencer Circuits
    409 -- 424Ekkart Kindler, Wolfgang Reisig, Hagen Völzer, Rolf Walter. Petri Net Based Verification of Distributed Algorithms: An Example
    425 -- 445Christel Baier, Mila E. Majster-Cederbaum. The Connection Between Initial and Unique Solutions of Domain Equations in the Partial Order and Metric Approach
    runs on