Results : 51-75/75
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.Roger Hindley
Citation: J.roger Hindley, Types with intersection:an introduction, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 470-486
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:
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:
Andrew Kay
Peter Lupton
Citation: Andrew Kay et Peter Lupton, Short communication sequential to parallel buffer refinement, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 487-492
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:
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:
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:
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
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
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