Butler, M. J. (1998) Event Ordering in Action Systems. Grundy, J., Schwenke, M. and Vickers, T. (eds.) Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 61-80 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1998
Additional Information:
Address: Canberra, Australia
Venue - Dates:
Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1998-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250506
URI: http://eprints.soton.ac.uk/id/eprint/250506
ISBN: ISBN 981-4021-16-4
PURE UUID: b1c3e6a1-3fed-4bfe-8884-deec60604c0b
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
M. J. Butler
Editor:
J. Grundy
Editor:
M. Schwenke
Editor:
T. Vickers
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.