On the design and formal specification of a transaction processing protocol

Research output: Contribution to journal › Article › Professional

Keywords

@article{e69b122c138f45e3a9714757d77e5351,

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

keywords = "METIS-121869",

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

year = "1990",

language = "Undefined",

volume = "0",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "66",

}