Open AccessInvariant-based specification, synthesis, and verification of synchronization in concurrent programs
Author(s) -
Xianghua Deng,
Matthew B. Dwyer,
John Hatcliff,
Masaaki Mizuno
Publication year - 2002
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - English
Resource type - Conference proceedings
DOI - 10.1145/581392.581394
Subject(s) - computer science , correctness , concurrency , synchronization (alternating current) , distributed computing , synchronizing , data synchronization , overhead (engineering) , simple (philosophy) , implementation , concurrency control , embedded system , programming language , database transaction , computer network , channel (broadcasting) , telecommunications , philosophy , process (computing) , epistemology , transmission (telecommunications)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom