Behavioural Extension for CSP Processes

Butler, M.J. (1991) Behavioural Extension for CSP Processes. VDM '91 Springer-Verlag.


Full text not available from this repository.

Item Type: Conference or Workshop Item (UNSPECIFIED)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 250969
Date Deposited: 07 Oct 1999
Last Modified: 27 Mar 2014 19:52
Further Information:Google Scholar

Actions (login required)

View Item View Item