Volume 10, Issue 5-6

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

May 1998

8 articles in this issue

Editorial
Jan Friso Groote
Bas Luttik
Jos van Wamel
Editorial Pages: 435 - 435
Testing Algebraic Data Types and Processes: A Unifying Theory
Marie-Claude Gaudel
Perry R. James
Original Paper Pages: 436 - 451
Design for Proof: An Approach to the Design of Domain-Specific Languages
Stuart Anderson
Konstantinos Tourlas
Original Paper Pages: 452 - 468
Partial-order Reduction Techniques for Real-time Model Checking
Dennis Dams
Rob Gerth
Ruurd Kuiper
Original Paper Pages: 469 - 482
Case Study in Protocol Validation: Validating an ATM Signalling Protocol
Theofanis Vassiliou-Gioles
Ina Schieferdecker
Original Paper Pages: 483 - 508
The Tree Identify Protocol of IEEE 1394 in μCRL
Carron Shankland
Mark van der Zwaag
Original Paper Pages: 509 - 531
Investigating the Integration of two Formal Methods
Juan Bicarregui
Brian Matthews
Sten Agerholm
Original Paper Pages: 532 - 549
Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal
H. Bowman
G. Faconti
M. Massink
Original Paper Pages: 550 - 575

Volume 10, Issue 5-6

Search

Navigation