Results : 1-25/37
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:
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:
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:
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:
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:
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:
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:
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:
J.C.M.Baeten,J.A.Bergstra
Citation: J.c.m.baeten,j.a.bergstra, On sequntial composition,action prefixes and process prefix, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 250-268
Authors:
Pierre America
Frank de Boer
Citation: Pierre America et Frank De Boer, Reasoning about dynamically evolving process structures, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 269-316
Authors:
Bard Bloom
Citation: Bard Bloom, When is partial trace equivalence adequate ?, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 317-338
Authors:
Chris Brink
Katarina Britz
Renate A.Schmidt
Citation: Chris Brink et al., Peirce algebras, Formal aspects of computing The international journal of formal methods , 6(3), 1994, pp. 339-356
Authors:
David M.Russinoff
Citation: David M.russinoff, A mechanically verified incremental garbage collector, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 359-390
Authors:
Karl J.Lieberherr
Walter L.Hursch
Cun Xiao
Citation: Karl J.lieberherr et al., Object-extending clas transformations, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 391-416
Authors:
J.P.Wray,A.Stewart
Citation: J.p.wray,a.stewart, Correct translation of data parallel assignment onto array processors, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 417-439
Authors:
Peter Dybjer
Citation: Peter Dybjer, Inductive families, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 440-465
Authors:
I.S.W.B.Prasetya
Citation: I.s.w.b.prasetya, Short communication error in the UNITY substitution for subscripted operators, Formal aspects of computing The international journal of formal methods , 6(4), 1994, pp. 466-470
Authors:
David Pitt
Paddy Byers
Citation: David Pitt et Paddy Byers, The rest stays unchanged (concurrency and state-based specification), Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 471-494
Authors:
A.Prasad Sistla
Citation: A.prasad Sistla, Safety,liveness and fairness in temporal logic, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 495-511
Authors:
Hans Hansson
Bengt Jonsson
Citation: Hans Hansson et Bengt Jonsson, A logic for reasoning about time and reliability, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 512-535
Authors:
Chris Tofts
Citation: Chris Tofts, Processes with probabilities,priority and time, Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 536-564
Authors:
Peter Gorm Larsen
Citation: Peter Gorm Larsen, Short communication : response to "the formal specification of safety requirements for storing explosives", Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 565-568
Authors:
Iain S.C.Houston
Mark B.Josephs
Citation: Iain S.c.houston et Mark B.josephs, Short communication : specifying distributed CICS in Z :accessing local and reote resources", Formal aspects of computing The international journal of formal methods , 6(5), 1994, pp. 569-579
Authors:
Peter Gorm Larsen
Nico Plat
Hans Toetenel
Citation: Peter Gorm Larsen et al., A formal semantics of data flow diagrams, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 586-606