Results : 26-37/37
Authors:
K.Mani Chandy
Citation: K.mani Chandy, Properties of concurrent programs, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 607-619
Authors:
Arnon Avron
Nada Sasson
Citation: Arnon Avron et Nada Sasson, Stability,sequentiality and demand driven evaluation in dataflow, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 620-642
Authors:
He Jifeng
Jonathan Bowen
Citation: He Jifeng et Jonathan Bowen, Specification,verification and protyping of an optimized compiler, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 643-658
Authors:
Yasuhiko Minamide
Citation: Yasuhiko Minamide, Sharing analysis based on type inference, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 659-675
Authors:
Paola Inverardi
Corrado Priami
Daniel Yankelevich
Citation: Paola Inverardi et al., Automatizing parametric reasoning on distributed concurrent systems, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 676-695
Authors:
Mike Stannett
Citation: Mike Stannett, Infinite concurrent systems-I.The relationship between metric and order convergence, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 696-715
Authors:
F.A.Stomp,"W.-P.de Roever
Citation: F.a.stomp,"w.-p.de Roever, A principle for sequential reasoning about distributed algorithms, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 716-736
Authors:
Krzysztof R.Apt
Elena Marchiori
Citation: Krzysztof R.apt et Elena Marchiori, Reasoning about prolog programs : from modes trough types to assertions, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 743-765
Authors:
Jan van Eijck
Citation: Jan Van Eijck, Presupposition failure - A comedy of errors, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 766-787
Authors:
Marcello M.Bosangue
Joost N.Kok
Citation: Marcello M.bosangue et Joost N.kok, The weakest precondition calculus:recursion and duality, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 788-800
Authors:
Jozef Hooman
Citation: Jozef Hooman, Extending hoare logic to real-time, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 801-825
Authors:
Michael R.Hansen
Citation: Michael R.hansen, Model-checking discrete duration calculus, Formal aspects of computing The international journal of formal methods , 6(6A), 1994, pp. 826-845