A Trace Semantics for Long-Running Transactions

AuthID
P-000-5DW
3
Author(s)
Butler, M
·
Hoare, T
·
3
Editor(s)
Abadallah, AE; Jones, CB; Sanders, JW
Document Type
Article
Year published
2005
Published
in COMMUNICATING SEQUENTIAL PROCESSES: THE FIRST 25 YEARS in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 3525, Pages: 133-150 (18)
Conference
Symposium on 25 Years of Communicating Sequential Processes, Date: JUL 07-08, 2004, Location: London, ENGLAND, Sponsors: BCS FACS, Microsoft Res, Formal Methods Europe, Handshake Solut, Verified Syst Int GmbH, Formal Syst Europe Ltd, Host: London S Bank Univ
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-26444563415
Wos: WOS:000230475700008
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.