Brown, Neil C.C. and Smith, Marc L. (2009) Relating and Visualising CSP, VCR and Structural Traces. In: Welch, Peter H. and Roebbers, Herman W. and Broenink, Jan F. and Barnes, Frederick R.M. and Ritson, Carl G. and Sampson, Adam T. and Stiles, Gardiner S. and Vinter, Brian, eds. Communicating Process Architectures 2009. Concurrent Systems Engineering, 67. IOS Press, Amsterdam, The Netherlands pp. 182-196. ISBN 978-1-60750-065-0. (Full text available)
| PDF - Publisher pdf | ||
|
Download (232kB)
Preview
|
|
|
| Official URL http://www.cs.kent.ac.uk/pubs/2009/3016 |
||
| Item Type: | Conference or workshop item (UNSPECIFIED) |
|---|---|
| Uncontrolled keywords: | determinacy analysis, Craig interpolants |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Sciences > School of Computing > Programming Languages and Systems Group |
| Depositing User: | Neil Brown |
| Date Deposited: | 21 Sep 2012 09:49 UTC |
| Last Modified: | 07 Aug 2018 09:31 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/30580 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics