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 :
Date Event
Date Deposited: 07 Oct 1999
Last Modified: 31 Mar 2016 13:51
Further Information:Google Scholar

Actions (login required)

View Item View Item