default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 7
Volume 7, Number 1, 1995
- Jan L. A. van de Snepscheut:
The Sliding-Window Protocol Revisited. 3-17 - José Félix Costa
, Amílcar Sernadas:
Progress Assumption in Concurrent Systems. 18-36 - Michael J. Butler, Carroll Morgan:
Action Systemes, Unbounded Nondeterminism, and Infinite Traces. 37-53 - Steve King, Carroll Morgan:
Exits in the Refinement Calculus. 54-76 - Pierre Lescanne:
Termination of Rewrite Systems by Elementary Interpretations. 77-90 - J. Coenen:
Hoare's Logic and VDM. 91-105
Volume 7, Number 2, 1995
- Naoki Kobayashi, Akinori Yonezawa:
Asynchronous Communication Model Based on Linear Logic. 113-149 - J. Michael Spivey:
Unification: A Case-Study in Data Refinement. 150-168 - Ingrid Rewitzky, Chris Brink:
Predicate Transformers as Power Operations. 169-182 - Sunil Vadera:
Proof by Analogy in Mural. 183-206 - Bryan S. Todd, Richard Stamper:
A Formal Model of Explanation. 207-225
Volume 7, Number 3, 1995
- Nancy A. Lynch, Roberto Segala:
A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. 231-265 - Jane E. Sinclair, Jim Woodcock:
Event Refinement in State-Based Concurrent Systems. 266-288 - Graeme Smith:
A Fully Abstract Semantics of Classes for Object-Z. 289-313 - Lone Leth Thomsen, Bent Thomsen:
Some Facile Chemistry. 314-328 - Ian J. Hayes, Brendan P. Mahony:
Using Units of Measurement in Formal Specifications. 329-347
Volume 7, Number 4, 1995
- Rutger M. Dijkstra:
DUALITY: A Simple Formalism for the Analysis of UNITY. 353-388 - Wim H. Hesselink:
Safety and Progress of Recursive Procedures. 389-411 - Simon J. Thompson:
A Logic for Miranda, Revisited. 412-429 - Ian J. Hayes, Jeff W. Sanders:
Specification by Interface Separation. 430-439 - Antti Valmari, Martti Tienari:
Compositional Failure-based Semantics Models for Basic LOTOS. 440-468
Volume 7, Number 5, 1995
- Peter B. Ladkin, Stefan Leue:
Interpreting Message Flow Graphs. 473-509 - Zhiming Liu, Mathai Joseph, Tomasz Janowski:
Verification of Schedulability for Real-Time Programs. 510-532 - Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens:
METATEM: An Introduction. 533-549 - Kai Engelhardt, Willem P. de Roever:
Towards a Practitioners' Approach to Abadi and Lamport's Method. 550-575 - K. Rustan M. Leino:
A Method for Showing Progress. 576-580
Volume 7, Number 6, 1995
- Philippe Noël:
A Transformation-Based Synthesis of Temporal Specifications. 587-619 - Ian Maung:
On Simulation, Subtyping and Substitutability in Sequential Object Systems. 620-651 - David A. Naumann:
Data Refinement, Call by Value and Higher Order Programs. 651-662 - Sergei Gorlatch, Christian Lengauer:
Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. 663-682 - Rajit Manohar, K. Rustan M. Leino:
Conditional Composition. 683-703 - Paul Mukherjee, Victoria Stavridou:
A Theory pf Orwellian Specifications with NewThink. 704-727
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 2025-02-07 23:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
