Authors:
John Staples
Peter J.Robinson
Daniel Hazel
Citation: John Staples et al., The completeness c for higher level reasoning about computation, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 1-38
Authors:
John Staples
Peter J.Robinson
Daniel Hazel
Citation: John Staples et al., A functional logic for higher level reasoning about computation, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 1-38
Citation: C.a.middelburg, Modular structuring of VDM specifications in VVSL, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 13-47
Citation: P.j.a.lentfert,s.d.swierstra, Distributed maximum maintenance on hierarchically divided graphs, Formal aspects of computing The international journal of formal methods , 5(1), 1993, pp. 21-60
Citation: Peter Nickolas, The completeness of functional logic, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 39-59
Citation: Chris George, The NDB database specified in the RAISE specification language, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 48-75
Citation: J.strother Moore, A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 60-91
Citation: Ian Hayes, VDM and Z :a comparative case study, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 76-99
Citation: T.massart,r.devillers, Equality of agent expressions is preserved under an extension of the universe of actions, Formal aspects of computing The international journal of formal methods , 5(1), 1993, pp. 79-88
Citation: A.bucci,p.inverardi,s.martini, An "executable " impredicative semantics for the Ada configuration, Formal aspects of computing The international journal of formal methods , 5(2), 1993, pp. 91-120
Citation: Glenn Bruns et Stuart Anderson, The formalization and analysis of a communications protocol, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 92-112
Citation: Edmund Kazmierczak, Modularising the specification of a small database system in extended ML, Formal aspects of computing The international journal of formal methods , 4(1), 1992, pp. 100-142
Citation: Jan Friso Groote et Alban Ponse, Process algebra with guards:combining hoare logic with process algebra, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 115-164
Citation: Debora Weber-wulff, Proof movie - a proof with the boyer-moore prover, Formal aspects of computing The international journal of formal methods , 5(2), 1993, pp. 121-151
Citation: Parosh Abdulla, Automic verification of a class systolic circuits, Formal aspects of computing The international journal of formal methods , 4(2), 1992, pp. 149-194
Citation: Alan Williams, The applicability of discrete performance estimation methods to VLSI design, Formal aspects of computing The international journal of formal methods , 5(2), 1993, pp. 152-176
Citation: G.boudol,i.castellani,m.hennessy,a.kiehn, A theory of processes with localities, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 165-200
Citation: Andreas V.hense, Denotational semantics of an object-oriented programming language with explicit wrappers, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 181-207
Authors:
Johan J.Lukkien
Jan L.A.van de Snepscheut
Citation: Johan J.lukkien et Jan L.a.van De Snepscheut, Weakest preconditions for progress, Formal aspects of computing The international journal of formal methods , 4(2), 1992, pp. 195-236
Citation: Olaf Owe, TICtial logics reconsidered:a conservative approach, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 208-223
Citation: Olaf Owe, Partial logics reconsidered:a conservative approach, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 208-223
Citation: Grigoris Antoniou, The verification of modules, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 223-244