School of Computing

Combining Component specifications in Object-Z and CSP

J Derrick and E Boiten

Formal Aspects of Computing, 13:182-196, May 2002.

Abstract

http://www.springerlink.com/openurl.asp?genre=article&eissn=1433-299X&volume=13&issue=2&spage=111



Bibtex Record

@article{1377,
author = {J Derrick and E Boiten},
title = {{Combining Component specifications in Object-Z and CSP}},
month = {May},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2002/1377},
    publication_type = {article},
    submission_id = {17682_1022673823},
    journal = {Formal Aspects of Computing},
    volume = {13},
    publisher = {Springer},
    ISSN = {0934-5043},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014