Results : 1-25/75
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
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:
C.A.Middelburg
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
Authors:
P.J.A.Lentfert,S.D.Swierstra
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
Authors:
Peter Nickolas
Citation: Peter Nickolas, The completeness of functional logic, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 39-59
Authors:
Chris George
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
Authors:
J.Strother Moore
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
Authors:
R.S.Bird,"O.de Moor
Citation: R.s.bird,"o.de Moor, List partitions, Formal aspects of computing The international journal of formal methods , 5(1), 1993, pp. 61-78
Authors:
Ian Hayes
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
Authors:
T.Massart,R.Devillers
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
Authors:
A.Bucci,P.Inverardi,S.Martini
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
Authors:
Glenn Bruns
Stuart Anderson
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
Authors:
Edmund Kazmierczak
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
Authors:
Jan Friso Groote
Alban Ponse
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
Authors:
Debora Weber-Wulff
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
Authors:
Parosh Abdulla
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
Authors:
Alan Williams
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
Authors:
G.Boudol,I.Castellani,M.Hennessy,A.Kiehn
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
Authors:
Andreas V.Hense
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
Authors:
Luca Aceto
Citation: Luca Aceto, A static view of localities, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 201-222
Authors:
Olaf Owe
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
Authors:
Olaf Owe
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
Authors:
Grigoris Antoniou
Citation: Grigoris Antoniou, The verification of modules, Formal aspects of computing The international journal of formal methods , 6(1), 1994, pp. 223-244
Authors:
Juan Quemada
David de Frutos
Arturo Azcorra
Citation: Juan Quemada et al., TIC:a timed calculus, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 224-252