Results:
1-21
Results : 21
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:
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:
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:
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:
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:
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:
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:
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:
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
Authors:
Carlos Miguel
Angel Fernandez
Leon Vidaller
Citation: Carlos Miguel et al., LOTOS extended with probabilistic behaviours, Formal aspects of computing The international journal of formal methods , 5(3), 1993, pp. 253-281
Authors:
Bill Stoddart
Peter J.Knaggs
Citation: Bill Stoddart et Peter J.knaggs, Type interference in stack based languages, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 289-298
Authors:
Paul Mukherjee
Victoria Stavridou
Citation: Paul Mukherjee et Victoria Stavridou, The formal specification of safety requirements for storing explosives, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 299-336
Authors:
Esther Dennis-Jones
David E.Rydeheard
Citation: Esther Dennis-jones et David E.rydeheard, Categorical ML - category-theoretic modular programming, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 337-366
Authors:
P.H.B.Gardiner,"Carroll Morgan
Citation: P.h.b.gardiner,"carroll Morgan, A single complete rule for data refinement, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 367-382
Authors:
Matthias Weber
Citation: Matthias Weber, Definition and basic properties of the deva meta-calculus, Formal aspects of computing The international journal of formal methods , 5(4), 1993, pp. 391-431
Authors:
M.Hennessy,A.Ingolfsdottir
Citation: M.hennessy,a.ingolfsdottir, Communicating processes with value-passing and assignments, Formal aspects of computing The international journal of formal methods , 5(5), 1993, pp. 432-466
Authors:
Gordon Brebner
Citation: Gordon Brebner, A CCS-based investigation of Deadlock in multi-process electronic mail system, Formal aspects of computing The international journal of formal methods , 5(5), 1993, pp. 467-479
Authors:
J.C.M.Baeten,J.A.Bergstra
Citation: J.c.m.baeten,j.a.bergstra, Real space process algebra, Formal aspects of computing The international journal of formal methods , 5(6), 1993, pp. 481-529
Authors:
Jim Davies
Steve Schneider
Citation: Jim Davies et Steve Schneider, Recursion induction for real-time processes, Formal aspects of computing The international journal of formal methods , 5(6), 1993, pp. 530-553
Authors:
Wim H.Hesselink
Citation: Wim H.hesselink, Proof rules for recursive procedures, Formal aspects of computing The international journal of formal methods , 5(6), 1993, pp. 554-570
Results:
1-21