School of Computing

The specification in z of the rex protocol

John Derrick and Robert Sultana

Technical Report 10-93*, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, November 1993.

Abstract

REX is a protocol supporting a client/server style of interaction between a number of entities in a distributed system. Within this interaction paradigm, client entities may request services supplied by server entities, by interacting with intermediate protocol entities. This paper presents a Z specification of part of the REX protocol.

Download publication 104 kbytes

Bibtex Record

@techreport{99,
author = {John Derrick and Robert Sultana},
title = {The Specification in Z of the REX Protocol},
month = {November},
year = {1993},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1993/99},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/10-93},
    hensa_ftpaddress = {unix.hensa.ac.uk},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/10-93.ps.Z},
    institution = {University of Kent, Computing Laboratory},
    number = {10-93*},
}

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

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

Last Updated: 21/03/2014