Formal Aspects of Computing, Volume 10

Volume 10, Number 1, 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/RewitzkyB98
- ask others
Ingrid Rewitzky, Chris Brink: Unification of Four Versions of Program Semantics. 1-29
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/KorverS98
- ask others
Henri Korver, M. P. A. Sellink: A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes. 30-42
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/KorverS98a
- ask others
Henri Korver, M. P. A. Sellink: Example Verifications Using Alphabet Axioms. 43-58
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/LeavensW98
- ask others
Gary T. Leavens, Jeannette M. Wing: Protective Interface Specifications. 59-75
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/MorrisB98
- ask others
Joseph M. Morris, Alexander Bunkenburg: Partiality and Nondeterminacy in Program Proofs. 76-96

Volume 10, Number 2, 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/CarringtonHNWW98
- ask others
David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh: A Program Refinement Tool. 97-124
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DerrickBBS98
- ask others
John Derrick, Eerke A. Boiten, Howard Bowman, Maarten Steen: Specifying and Refining Internal Operations in Z. 125-159
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/GrooteP98
- ask others
Philippe de Groote, Guy Perrier: A Note on Kobayashi's and Yonezawa's "Asynchronous Communication Model Based on Linear Logic". 160-170
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Nipkow98
- ask others
Tobias Nipkow: Winskel is (almost) Right: Towards a Mechanized Semantics. 171-186

Short Communication

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Hayes98
- ask others
Ian J. Hayes: Expressive Power of Specification Languages. 187-192

Volume 10, Number 3, 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DingelGJN98
- ask others
Jürgen Dingel, David Garlan, Somesh Jha, David Notkin: Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. 193-213
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Jonker98
- ask others
Jan E. Jonker: Knaster-Tarski Revisited. 214-232
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Paige98
- ask others
Richard F. Paige: Heterogeneous Notations for Pure Formal Method Integration. 233-242
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Henson98
- ask others
Martin C. Henson: The Standard Logic of Z is Inconsistent. 243-247
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/LeonardL98
- ask others
Luc Léonard, Guy Leduc: A Formal Definition of Time in LOTOS. 248-266
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/CavalcantiW98
- ask others
Ana Cavalcanti, Jim Woodcock: ZRC - A Refinement Calculus for Z. 267-289
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Hehner98
- ask others
Eric C. R. Hehner: Formalization of Time and Space. 290-306

Volume 10, Number 4, 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/GnesiL98
- ask others
Stefania Gnesi, Diego Latella: Editorial. 311-312
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BernardoGR98
- ask others
Marco Bernardo, Roberto Gorrieri, Marco Roccetti: Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet. 313-337
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Boralv98
- ask others
Arne Borälv: Case Study: Formal Verification of a Computerized Railway Interlocking. 338-360
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/CimattiGMRTT98
- ask others
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Dario Romano, Fernando Torielli, Paolo Traverso: Formal Verification of a Railway Interlocking System using Model Checking. 361-380
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/OchsenschlagerRRN98
- ask others
Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche: The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. 381-404
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/FacontiM98
- ask others
Giorgio P. Faconti, Mieke Massink: Modelling and Verification of PREMO Synchronisable Objects. 405-434

Volume 10, Numbers 5-6, 1998

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/GrooteLW98
- ask others
Jan Friso Groote, Bas Luttik, Jos van Wamel: Editorial. 435
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/GaudelJ98
- ask others
Marie-Claude Gaudel, Perry R. James: Testing Algebraic Data Types and Processes: A Unifying Theory. 436-451
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/AndersonT98
- ask others
Stuart Anderson, Konstantinos Tourlas: Design for Proof: An Approach to the Design of Domain-Specific Languages. 452-468
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/DamsGKK98
- ask others
Dennis Dams, Rob Gerth, Bart Knaack, Ruurd Kuiper: Partial-order Reduction Techniques for Real-time Model Checking. 469-482
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/Vassiliou-GiolesS98
- ask others
Theofanis Vassiliou-Gioles, Ina Schieferdecker: Case Study in Protocol Validation: Validating an ATM Signalling Protocol. 483-508
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/ShanklandZ98
- ask others
Carron Shankland, Mark van der Zwaag: The Tree Identify Protocol of IEEE 1394 in µCRL. 509-531
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BicarreguiMRA98
- ask others
Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm: Investigating the Integration of two Formal Methods. 532-549
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fac/BowmanFKLM98
- ask others
Howard Bowman, Giorgio P. Faconti, Joost-Pieter Katoen, Diego Latella, Mieke Massink: Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal. 550-575