- 1994
- Luca Aceto:
A Static View of Localities. Formal Aspects Comput. 6(2): 201-222 (1994) - Pierre America, Frank S. de Boer:
Reasoning about Dynamically Evolving Process Structures. Formal Aspects Comput. 6(3): 269-316 (1994) - Grigoris Antoniou
:
The Verification of Modules. Formal Aspects Comput. 6(2): 223-244 (1994) - Krzysztof R. Apt, Elena Marchiori:
Reasoning About Prolog Programs: From Modes Through Types to Assertions. Formal Aspects Comput. 6(6A): 743-765 (1994) - Arnon Avron, Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow. Formal Aspects Comput. 6(6): 620-642 (1994) - Jos C. M. Baeten, Jan A. Bergstra:
On Sequential Compoisiton, Action Prefixes and Process Prefixes. Formal Aspects Comput. 6(3): 250-268 (1994) - Bard Bloom:
When is Partial Trace Equivalence Adequate? Formal Aspects Comput. 6(3): 317-338 (1994) - Marcello M. Bonsangue
, Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality. Formal Aspects Comput. 6(6A): 788-800 (1994) - Gérard Boudol, Ilaria Castellani
, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. Formal Aspects Comput. 6(2): 165-200 (1994) - Chris Brink, Katarina Britz, Renate A. Schmidt
:
Peirce Algebras. Formal Aspects Comput. 6(3): 339-358 (1994) - Glenn Bruns, Stuart Anderson
:
The Formalization and Analysis of a Communications Protocol. Formal Aspects Comput. 6(1): 92-112 (1994) - K. Mani Chandy:
Properties of Concurrent Programs. Formal Aspects Comput. 6(6): 607-619 (1994) - Peter Dybjer:
Inductive Families. Formal Aspects Comput. 6(4): 440-465 (1994) - Jan van Eijck:
Presupposition Failure-A Comedy of Errors. Formal Aspects Comput. 6(6A): 766-787 (1994) - Jan Friso Groote, Alban Ponse
:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. Formal Aspects Comput. 6(2): 115-164 (1994) - Michael R. Hansen:
Model-Checking Discrete Duration Calculus. Formal Aspects Comput. 6(6A): 826-845 (1994) - Hans Hansson
, Bengt Jonsson:
A Logic for Reasoning about Time and Reliability. Formal Aspects Comput. 6(5): 512-535 (1994) - Jozef Hooman:
Extending Hoare Logic to Real-Time. Formal Aspects Comput. 6(6A): 801-826 (1994) - Iain S. C. Houston, Mark B. Josephs
:
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). Formal Aspects Comput. 6(5): 569-579 (1994) - Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. Formal Aspects Comput. 6(6): 676-695 (1994) - Jifeng He, Jonathan P. Bowen
:
Specification, Verification and Prototyping of an Optimized Compiler. Formal Aspects Comput. 6(6): 643-658 (1994) - Leslie Lamport:
How to Write a Long Formula (Short Communication). Formal Aspects Comput. 6(5): 580-584 (1994) - Peter Gorm Larsen
:
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). Formal Aspects Comput. 6(5): 565-568 (1994) - Peter Gorm Larsen
, Nico Plat
, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams. Formal Aspects Comput. 6(6): 586-606 (1994) - Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao:
Object-Extending Class Transformations. Formal Aspects Comput. 6(4): 391-416 (1994) - Yasuhiko Minamide:
Sharing Analysis Based on Type Interface. Formal Aspects Comput. 6(6): 659-675 (1994) - J Strother Moore:
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Aspects Comput. 6(1): 60-91 (1994) - Peter Nickolas
:
The Completeness of Functional Logic. Formal Aspects Comput. 6(1): 39-59 (1994) - David H. Pitt, Paddy Byers:
The Rest Says Unchanged (Concurrency and State-Based Specification). Formal Aspects Comput. 6(5): 471-494 (1994) - I. S. W. B. Prasetya
:
Error in the UNITY Rule for Subscripted Operators (Short Communication). Formal Aspects Comput. 6(4): 466-470 (1994)