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
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
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
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
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
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
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
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
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
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
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
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
Citation: K.mani Chandy, Properties of concurrent programs, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 607-619
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
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
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
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
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
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
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
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
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
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