Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFormal Aspects of Computing, Volume 6
Volume 6, Number 1, 1994
- John Staples, Peter J. Robinson, Daniel Hazel:
A Functional Logic for Higher Level Reasoning About Computation. 1-38 - Peter Nickolas:
The Completeness of Functional Logic. 39-59 - J. Strother Moore:
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. 60-91 - Glenn Bruns, Stuart Anderson:
The Formalization and Analysis of a Communications Protocol. 92-112
Volume 6, Number 2, 1994
- Jan Friso Groote, Alban Ponse
:
Process Algebra with Guards: Combining Hoare Logic with Process Algebra. 115-164 - Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Astrid Kiehn:
A Theory of Processes with Localities. 165-200 - Luca Aceto:
A Static View of Localities. 201-222 - Grigoris Antoniou:
The Verification of Modules. 223-244
Volume 6, Number 3, 1994
- Jos C. M. Baeten, Jan A. Bergstra:
On Sequential Compoisiton, Action Prefixes and Process Prefixes. 250-268 - Pierre America, Frank S. de Boer:
Reasoning about Dynamically Evolving Process Structures. 269-316 - Bard Bloom:
When is Partial Trace Equivalence Adequate? 317-338 - Chris Brink, Katarina Britz, Renate A. Schmidt:
Peirce Algebras. 339-358
Volume 6, Number 4, 1994
- David M. Russinoff:
A Mechanically Verified Incremental Garbage Collector. 359-390 - Karl J. Lieberherr, Walter L. Hürsch, Cun Xiao:
Object-Extending Class Transformations. 391-416 - Johnston Paul Wray, A. Stewart:
Correct Translation of Data Parallel Assignment onto Array Processors. 417-439 - Peter Dybjer:
Inductive Families. 440-465 - I. S. W. B. Prasetya:
Error in the UNITY Rule for Subscripted Operators (Short Communication). 466-470
Volume 6, Number 5, 1994
- David H. Pitt, Paddy Byers:
The Rest Says Unchanged (Concurrency and State-Based Specification). 471-494 - A. Prasad Sistla:
Safety, Liveness and Fairness in Temporal Logic. 495-512 - Hans Hansson, Bengt Jonsson:
A Logic for Reasoning about Time and Reliability. 512-535 - Chris M. N. Tofts:
Processes with Probablities, Priority and Time. 536-564 - Peter Gorm Larsen:
Repsonse to "The Formal Specification of Safety Requirements for Storing Explosives" (Short Communication). 565-568 - Iain S. C. Houston, Mark B. Josephs:
Specifying Distributed CICS in Z: Accessing Local and Remote Resources (Short Communication). 569-579 - Leslie Lamport:
How to Write a Long Formula (Short Communication). 580-584
Volume 6, Number 6, 1994
- Peter Gorm Larsen, Nico Plat, Hans Toetenel:
A Formal Semantics of Data Flow Diagrams. 586-606 - K. Mani Chandy:
Properties of Concurrent Programs. 607-619 - Arnon Avron, Nada Sasson:
Stability, Sequentiality and Demand Driven Evaluation in Dataflow. 620-642 - Jifeng He, Jonathan P. Bowen:
Specification, Verification and Prototyping of an Optimized Compiler. 643-658 - Yasuhiko Minamide:
Sharing Analysis Based on Type Interface. 659-675 - Paola Inverardi, Corrado Priami, Daniel Yankelevich:
Automatizing Parametric Reasoning on Distributed Concurrent Systems. 676-695 - Mike Stannett:
Infinite Concurrent Systems-I. The Relationship between Metric and Order Convergence. 696-715 - Frank A. Stomp, Willem P. de Roever:
A Principle for Sequential Reasoning about Distributed Algorithms. 716-737
Volume 6, Number 6A, 1994
- Krzysztof R. Apt, Elena Marchiori:
Reasoning About Prolog Programs: From Modes Through Types to Assertions. 743-765 - Jan van Eijck:
Presupposition Failure-A Comedy of Errors. 766-787 - Marcello M. Bonsangue, Joost N. Kok:
The Weakest Precondition Calculus: Recursion and Duality. 788-800 - Jozef Hooman:
Extending Hoare Logic to Real-Time. 801-826 - Michael R. Hansen:
Model-Checking Discrete Duration Calculus. 826-845
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2020-08-03 23:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
