Jeeg: temporal constraints for the synchronization of concurrent objects

Giuseppe Milicia, Vladimiro Sassone. Jeeg: temporal constraints for the synchronization of concurrent objects. Concurrency - Practice and Experience, 17(5-6):539-572, 2005. [doi]

Abstract

Abstract is missing.