default search action
Formal Aspects of Computing, Volume 10
Volume 10, Number 1, 1998
- Ingrid Rewitzky, Chris Brink:
Unification of Four Versions of Program Semantics. 1-29 - Henri Korver, M. P. A. Sellink:
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. 30-42 - Henri Korver, M. P. A. Sellink:
Example Verifications Using Alphabet Axioms. 43-58 - Gary T. Leavens, Jeannette M. Wing:
Protective Interface Specifications. 59-75 - Joseph M. Morris, Alexander Bunkenburg:
Partiality and Nondeterminacy in Program Proofs. 76-96
Volume 10, Number 2, 1998
- David A. Carrington, Ian J. Hayes
, Ray Nickson, Geoffrey Watson, Jim Welsh:
A Program Refinement Tool. 97-124 - John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen:
Specifying and Refining Internal Operations in Z. 125-159 - Philippe de Groote, Guy Perrier:
A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". 160-170 - Tobias Nipkow:
Winskel is (almost) Right: Towards a Mechanized Semantics. 171-186
- Ian J. Hayes
Expressive Power of Specification Languages. 187-192
Volume 10, Number 3, 1998
- Jürgen Dingel, David Garlan, Somesh Jha, David Notkin:
Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. 193-213 - Jan E. Jonker:
Knaster-Tarski Revisited. 214-232 - Richard F. Paige:
Heterogeneous Notations for Pure Formal Method Integration. 233-242 - Martin C. Henson:
The Standard Logic of Z is Inconsistent. 243-247 - Luc Léonard, Guy Leduc:
A Formal Definition of Time in LOTOS. 248-266 - Ana Cavalcanti, Jim Woodcock
ZRC - A Refinement Calculus for Z. 267-289 - Eric C. R. Hehner:
Formalization of Time and Space. 290-306
Volume 10, Number 4, 1998
- Stefania Gnesi, Diego Latella:
Editorial. 311-312 - Marco Bernardo, Roberto Gorrieri
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. 313-337 - Arne Borälv:
Case Study: Formal Verification of a Computerized Railway Interlocking. 338-360 - Alessandro Cimatti
Formal Verification of a Railway Interlocking System using Model Checking. 361-380 - Peter Ochsenschläger, Jürgen Repp, Roland Rieke
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. 381-404 - Giorgio P. Faconti, Mieke Massink:
Modelling and Verification of PREMO Synchronisable Objects. 405-434
Volume 10, Numbers 5-6, 1998
- Jan Friso Groote, Bas Luttik, Jos van Wamel:
Editorial. 435 - Marie-Claude Gaudel, Perry R. James:
Testing Algebraic Data Types and Processes: A Unifying Theory. 436-451 - Stuart Anderson
Design for Proof: An Approach to the Design of Domain-Specific Languages. 452-468 - Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper:
Partial-order Reduction Techniques for Real-time Model Checking. 469-482 - Theofanis Vassiliou-Gioles, Ina Schieferdecker:
Case Study in Protocol Validation: Validating an ATM Signalling Protocol. 483-508 - Carron Shankland, Mark van der Zwaag:
The Tree Identify Protocol of IEEE 1394 in µCRL. 509-531 - Juan Bicarregui
Investigating the Integration of two Formal Methods. 532-549 - Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. 550-575
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 2024-12-22 18:50 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: