PVS Embedding of cCSP Semantic Models and their Relationship
Ripon, Shamim and Butler, Michael (2009) PVS Embedding of cCSP Semantic Models and their Relationship. Electr. Notes Theor. Comput. Sci., 250, (2), 103-118.
This is the latest version of this item.
Download
![[img]](http://eprints.soton.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
Download (217Kb) |
| Item Type: | Article |
|---|---|
| Additional Information: | Event Dates: 30 September, 1 October |
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science > Electronic & Software Systems |
| Item ID: | 268421 |
| Date Deposited: | 27 Jan 2010 16:48 |
| Last Modified: | 02 Mar 2012 12:22 |
| Contributors: | Ripon, Shamim (Author) Butler, Michael (Author) |
| Date: | September 2009 |
| Additional Information: | Event Dates: 30 September, 1 October |
| Status: | Published |
| Publisher: | Elsevier |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/268421 |
Available Versions of this Item
-
PVS Embedding of cCSP Semantic Models and their Relationship. (deposited 22 Feb 2009 23:59)
- PVS Embedding of cCSP Semantic Models and their Relationship. (deposited 27 Jan 2010 16:48) [Currently Displayed]
Actions (login required)
 |
View Item |
