Service-driven protocol synthesis for specific users

Suggestions are made how to improve protocol synthesis driven by an algebraic service specification by considering eventual redundancies in the service specification and the actual testing capabilities of the particular service users. The resulting protocol can be much more efficient, but still easi...

Full description

Saved in:
Bibliographic Details
Published in:Microprocessing and microprogramming 1993-12, Vol.39 (2), p.195-198
Main Authors: Pučko, M., Kandus, G.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Suggestions are made how to improve protocol synthesis driven by an algebraic service specification by considering eventual redundancies in the service specification and the actual testing capabilities of the particular service users. The resulting protocol can be much more efficient, but still easily understood by the author of the service specification.
ISSN:0165-6074
DOI:10.1016/0165-6074(93)90087-2