Citation: J.fradeiro,t.maibaum, Temporal theories as modularisation units fpr concurrent system specification, Formal aspects of computing The international journal of formal methods , 4(3), 1992, pp. 239-272
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:
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
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
Citation: James H.anderson et Mohamed G.gouda, A criterion for atomicity, Formal aspects of computing The international journal of formal methods , 4(3), 1992, pp. 273-298
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
Citation: Michael Fisher, A model checker for linear time temporal logic, Formal aspects of computing The international journal of formal methods , 4(3), 1992, pp. 299-319
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
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
Citation: Olaf Owe, Axiomatic treatment of processes with shared variables revisited, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 323-340
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
Citation: Heinz Fassbender et Heiko Vogler, An implementation of syntax directed functional programming on nested-stack machines, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 341-375
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
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
Citation: Pierre America et Jan Rutten, A layered semantics for a parallel object-oriented language, Formal aspects of computing The international journal of formal methods , 4(4), 1992, pp. 376-408
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:
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
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
Citation: Jonathan P.seldin, Coquand's calculus of constructions:a mathematical foundation for a proof development system, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 425-441
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
Citation: Zhiming Liu et Mathai Joseph, Transformation of programs for fault-tolerance, Formal aspects of computing The international journal of formal methods , 4(5), 1992, pp. 442-469
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