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.


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

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 = {},
    address = {University of Kent, Canterbury, UK},
    hensa_abstractfilename = {pub/misc/ukc.reports/comp.sci/abstracts/10-93},
    hensa_ftpaddress = {},
    hensa_reportfilename = {pub/misc/ukc.reports/comp.sci/reports/},
    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