DOI10.1016/S1389-1286(03)00245-7zbMath1035.68062MaRDI QIDQ1400422
Tong Zheng, Ferhat Khendek
Publication date: 13 August 2003 Published in: Computer Networks (Search for Journal in Brave)
zbMATH Keywords
ConsistencySemanticsMSCTime constraints
Mathematics Subject Classification ID
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)