On the design and formal specification of a transaction processing protocol

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	Third International conference on formal description techniques for distributed systems and communications protocol
Place of Publication	Sydney
Pages	411-426
Number of pages	16
Publication status	Published - 1 Sept 1991

Keywords

@inproceedings{8581a6d041c8440a958a6b03c17feb8e,

title = "On the design and formal specification of a transaction processing protocol",

keywords = "METIS-119495",

author = "{van Sinderen}, {Marten J.} and I.A. Widya",

year = "1991",

month = sep,

day = "1",

language = "Undefined",

pages = "411--426",

booktitle = "Third International conference on formal description techniques for distributed systems and communications protocol",

}

On the design and formal specification of a transaction processing protocol. / van Sinderen, Marten J.; Widya, I.A.
Third International conference on formal description techniques for distributed systems and communications protocol. Sydney, 1991. p. 411-426.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review