CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
1 research outputs found
Failure-divergence semantics and refinement of long running transactions
Author
Bocchi
Bravetti
+36Â more
Bruni
Bruni
Bruni
Butler
Butler
Butler
Butler
Castagna
Chen
Chen
Chen
Garcia-Molina
Guidi
He
Hoare
Isobe
Ji Wang
Lanese
Lanese
Laneve
Lanotte
Lapadula
Little
Liu
Liu
Liu
Liu
Mazzara
Milner
Ripon
Roscoe
Roscoe
Sun
Vaz
Zhenbang Chen
Zhiming Liu
Publication venue
'Elsevier BV'
Publication date
Field of study
No full text
Crossref