csp2B: A Practical Approach to Combining CSP and B

Butler, M. J. (2000) csp2B: A Practical Approach to Combining CSP and B. Formal Aspects of Computing, 12, 182-196.

Record type: Article

Text

csp2b.pdf - Other

Download (221kB)

More information

Published date: 2000

Organisations: Electronic & Software Systems

Local EPrints ID: 253036

URI: http://eprints.soton.ac.uk/id/eprint/253036

PURE UUID: 9a88f2cd-6aa9-4651-bec2-aa2852354819

ORCID for M. J. Butler:

orcid.org/0000-0003-4642-5373

Date deposited: 18 Jun 2001

Last modified: 15 Mar 2024 02:50

Author: M. J. Butler

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.