Typed behavioural equivalences for processes in the presence of subtyping
Hennessy, Matthew and Rathke, Julian (2002) Typed behavioural equivalences for processes in the presence of subtyping, Elsevier (Electronic Notes in Theoretical Computer Science, 61).
Download
Full text not available from this repository.
| Item Type: | Book |
|---|---|
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 266083 |
| Date Deposited: | 14 Jul 2008 03:45 |
| Last Modified: | 02 Mar 2012 13:21 |
| Contributors: | Hennessy, Matthew (Author) Rathke, Julian (Author) |
| Date: | 2002 |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/266083 |
Actions (login required)
 |
View Item |
