ask others

Formal Aspects of Computing, Volume 6

> Home > Journals > Formal Aspects of Computing

Volume 6, Number 1, 1994

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/StaplesRH94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/StaplesRH94
John Staples, Peter J. Robinson, Daniel Hazel:
A Functional Logic for Higher Level Reasoning About Computation. 1-38
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Nickolas94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Nickolas94
Peter Nickolas:
The Completeness of Functional Logic. 39-59
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Moore94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Moore94
J. Strother Moore:
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. 60-91
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BrunsA94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BrunsA94
Glenn Bruns, Stuart Anderson:
The Formalization and Analysis of a Communications Protocol. 92-112

Volume 6, Number 2, 1994

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/GrooteP94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/GrooteP94
Jan Friso Groote, Alban Ponse:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. 115-164
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BoudolCHK94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BoudolCHK94
Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. 165-200
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Aceto94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Aceto94
Luca Aceto:
A Static View of Localities. 201-222
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/Antoniou94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Antoniou94
Grigoris Antoniou:
The Verification of Modules. 223-244

Volume 6, Number 3, 1994

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BaetenB94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BaetenB94
Jos C. M. Baeten, Jan A. Bergstra:
On Sequential Compoisiton, Action Prefixes and Process Prefixes. 250-268
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/AmericaB94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/AmericaB94
Pierre America, Frank S. de Boer:
Reasoning about Dynamically Evolving Process Structures. 269-316
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Bloom94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Bloom94
Bard Bloom:
When is Partial Trace Equivalence Adequate? 317-338
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/BrinkBS94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BrinkBS94
Chris Brink, Katarina Britz, Renate A. Schmidt:
Peirce Algebras. 339-358

Volume 6, Number 4, 1994

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Russinoff94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Russinoff94
David M. Russinoff:
A Mechanically Verified Incremental Garbage Collector. 359-390
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/LieberherrHX94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/LieberherrHX94
Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao:
Object-Extending Class Transformations. 391-416
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/WrayS94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/WrayS94
Johnston Paul Wray, A. Stewart:
Correct Translation of Data Parallel Assignment onto Array Processors. 417-439
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Dybjer94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Dybjer94
Peter Dybjer:
Inductive Families. 440-465
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Prasetya94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Prasetya94
I. S. W. B. Prasetya:
Error in the UNITY Rule for Subscripted Operators (Short Communication). 466-470

Volume 6, Number 5, 1994

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/PittB94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/PittB94
David H. Pitt, Paddy Byers:
The Rest Says Unchanged (Concurrency and State-Based Specification). 471-494
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Sistla94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Sistla94
A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic. 495-512
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/HanssonJ94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/HanssonJ94
Hans Hansson, Bengt Jonsson:
A Logic for Reasoning about Time and Reliability. 512-535
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Tofts94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Tofts94
Chris M. N. Tofts:
Processes with Probablities, Priority and Time. 536-564
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/Larsen94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Larsen94
Peter Gorm Larsen:
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). 565-568
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/HoustonJ94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/HoustonJ94
Iain S. C. Houston, Mark B. Josephs:
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). 569-579
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Lamport94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Lamport94
Leslie Lamport:
How to Write a Long Formula (Short Communication). 580-584

Volume 6, Number 6, 1994

- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/LarsenPT94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/LarsenPT94
Peter Gorm Larsen, Nico Plat, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams. 586-606
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Chandy94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Chandy94
K. Mani Chandy:
Properties of Concurrent Programs. 607-619
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/AvronS94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/AvronS94
Arnon Avron, Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow. 620-642
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/JifengB94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/JifengB94
Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler. 643-658
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Minamide94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Minamide94
Yasuhiko Minamide:
Sharing Analysis Based on Type Interface. 659-675
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/InverardiPY94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/InverardiPY94
Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. 676-695
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/Stannett94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Stannett94
Mike Stannett:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. 696-715
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/StompR94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/StompR94
Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms. 716-737

Volume 6, Number 6A, 1994

- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/AptM94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/AptM94
Krzysztof R. Apt, Elena Marchiori:
Reasoning About Prolog Programs: From Modes Through Types to Assertions. 743-765
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Eijck94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Eijck94
Jan van Eijck:
Presupposition Failure-A Comedy of Errors. 766-787
- view
  - electronic edition via DOI
  authority control:
- export record
  dblp key:
  - journals/fac/BosangueK94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/BosangueK94
Marcello M. Bonsangue, Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality. 788-800
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Hooman94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Hooman94
Jozef Hooman:
Extending Hoare Logic to Real-Time. 801-826
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/Hansen94
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/Hansen94
Michael R. Hansen:
Model-Checking Discrete Duration Calculus. 826-845