• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 32 matches

• 1995
• 
  Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens:
  METATEM: An Introduction. Formal Aspects Comput. 7(5): 533-549 (1995)
• 
  Michael J. Butler, Carroll Morgan:
  Action Systemes, Unbounded Nondeterminism, and Infinite Traces. Formal Aspects Comput. 7(1): 37-53 (1995)
• 
  J. Coenen:
  Hoare's Logic and VDM. Formal Aspects Comput. 7(1): 91-105 (1995)
• 
  José Félix Costa, Amílcar Sernadas:
  Progress Assumption in Concurrent Systems. Formal Aspects Comput. 7(1): 18-36 (1995)
• 
  Rutger M. Dijkstra:
  DUALITY: A Simple Formalism for the Analysis of UNITY. Formal Aspects Comput. 7(4): 353-388 (1995)
• 
  Kai Engelhardt, Willem P. de Roever:
  Towards a Practitioners' Approach to Abadi and Lamport's Method. Formal Aspects Comput. 7(5): 550-575 (1995)
• 
  Sergei Gorlatch, Christian Lengauer:
  Parallelisation of Divide-and-Conquer in the Bird-Meertens Formalism. Formal Aspects Comput. 7(6): 663-682 (1995)
• 
  Ian J. Hayes, Brendan P. Mahony:
  Using Units of Measurement in Formal Specifications. Formal Aspects Comput. 7(3): 329-347 (1995)
• 
  Ian J. Hayes, Jeff W. Sanders:
  Specification by Interface Separation. Formal Aspects Comput. 7(4): 430-439 (1995)
• 
  Wim H. Hesselink:
  Safety and Progress of Recursive Procedures. Formal Aspects Comput. 7(4): 389-411 (1995)
• 
  Steve King, Carroll Morgan:
  Exits in the Refinement Calculus. Formal Aspects Comput. 7(1): 54-76 (1995)
• 
  Naoki Kobayashi, Akinori Yonezawa:
  Asynchronous Communication Model Based on Linear Logic. Formal Aspects Comput. 7(2): 113-149 (1995)
• 
  Peter B. Ladkin, Stefan Leue:
  Interpreting Message Flow Graphs. Formal Aspects Comput. 7(5): 473-509 (1995)
• 
  K. Rustan M. Leino:
  A Method for Showing Progress. Formal Aspects Comput. 7(5): 576-580 (1995)
• 
  Pierre Lescanne:
  Termination of Rewrite Systems by Elementary Interpretations. Formal Aspects Comput. 7(1): 77-90 (1995)
• 
  Lone Leth Thomsen, Bent Thomsen:
  Some Facile Chemistry. Formal Aspects Comput. 7(3): 314-328 (1995)
• 
  Zhiming Liu, Mathai Joseph, Tomasz Janowski:
  Verification of Schedulability for Real-Time Programs. Formal Aspects Comput. 7(5): 510-532 (1995)
• 
  Nancy A. Lynch, Roberto Segala:
  A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. Formal Aspects Comput. 7(3): 231-265 (1995)
• 
  Rajit Manohar, K. Rustan M. Leino:
  Conditional Composition. Formal Aspects Comput. 7(6): 683-703 (1995)
• 
  Ian Maung:
  On Simulation, Subtyping and Substitutability in Sequential Object Systems. Formal Aspects Comput. 7(6): 620-651 (1995)
• 
  Paul Mukherjee, Victoria Stavridou:
  A Theory pf Orwellian Specifications with NewThink. Formal Aspects Comput. 7(6): 704-727 (1995)
• 
  David A. Naumann:
  Data Refinement, Call by Value and Higher Order Programs. Formal Aspects Comput. 7(6): 651-662 (1995)
• 
  Philippe Noël:
  A Transformation-Based Synthesis of Temporal Specifications. Formal Aspects Comput. 7(6): 587-619 (1995)
• 
  Ingrid Rewitzky, Chris Brink:
  Predicate Transformers as Power Operations. Formal Aspects Comput. 7(2): 169-182 (1995)
• 
  Jane E. Sinclair, Jim Woodcock:
  Event Refinement in State-Based Concurrent Systems. Formal Aspects Comput. 7(3): 266-288 (1995)
• 
  Graeme Smith:
  A Fully Abstract Semantics of Classes for Object-Z. Formal Aspects Comput. 7(3): 289-313 (1995)
• 
  Jan L. A. van de Snepscheut:
  The Sliding-Window Protocol Revisited. Formal Aspects Comput. 7(1): 3-17 (1995)
• 
  J. Michael Spivey:
  Unification: A Case-Study in Data Refinement. Formal Aspects Comput. 7(2): 150-168 (1995)
• 
  Simon J. Thompson:
  A Logic for Miranda, Revisited. Formal Aspects Comput. 7(4): 412-429 (1995)
• 
  Bryan S. Todd, Richard Stamper:
  A Formal Model of Explanation. Formal Aspects Comput. 7(2): 207-225 (1995)

skipping 2 more matches