Event Ordering in Action Systems


Butler, M. J., (1998) Event Ordering in Action Systems Grundy, J., Schwenke, M. and Vickers, T. (eds.) At Proc. Int. Refinement Workshop / Formal Methods Pacific'98, Springer Series in Discrete Mathematics and Theoretical Computer Science. , pp. 61-80.

Download

[img] Postscript dsse-tr-98-3.ps - Other
Download (224kB)
Item Type: Conference or Workshop Item (Paper)
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
ePrint ID: 250506
Date :
Date Event
1998Published
Date Deposited: 14 Jun 1999
Last Modified: 23 Feb 2017 16:18
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/250506

Actions (login required)

View Item View Item