English | 繁體

Search in the results

UM

Browse/Search Results:  1-5 of 5 Help

Selected(0)Clear Items/Page:    Sort:
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, Wanling, Zhu, Huibiao, Xu, Qiwen. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, Wanling;  Zhu, Huibiao;  Xu, Qiwen
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2021/12/07
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
A process calculus BigrTiMo of mobile systems and its formal semantics Journal article
Xie, W.L., Zhu, H.B., Xu, Q. W.. A process calculus BigrTiMo of mobile systems and its formal semantics[J]. Formal Aspects of Computing, 2021, 33(2), 207-249.
Authors:  Xie, W.L.;  Zhu, H.B.;  Xu, Q. W.
Favorite | TC[WOS]:1 TC[Scopus]:4  IF:1.4/1.3 | Submit date：2022/08/17
Bigrtimo  Mobile Systems  Formal Semantics  Unifying Theories Programming  Semantics Linking  
Unifying proof methodologies of duration calculus and timed linear temporal logic Journal article
Liu Z., Ravn A.P., Li X.. Unifying proof methodologies of duration calculus and timed linear temporal logic[J]. Formal Aspects of Computing, 2004, 16(2), 140-154.
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite | TC[WOS]:3 TC[Scopus]:5 | Submit date：2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs Journal article
Savi Mi, Judi Romijn, Carron Shankland. Advanced Features of Duration Calculus and Their Applications in Sequential Hybrid Programs[J]. Formal Aspects of Computing, 2003, 15(1), 84-99.
Authors:  Savi Mi;  Judi Romijn;  Carron Shankland
Favorite | TC[Scopus]:4  IF:1.4/1.3 | Submit date：2019/07/30
Comparative Case Study  Ieee Standard  Formal Methods  Firewire  
The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs Journal article
Xu Q., De Roever W.-P., He J.. The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs[J]. Formal Aspects of Computing, 1997, 9(2), 149-174.
Authors:  Xu Q.;  De Roever W.-P.;  He J.
Favorite | TC[Scopus]:109 | Submit date：2019/04/04
Compositionality  Concurrency  Deadlock Freedom  Partial And Total Correctness  Rely-guarantee Formalism  Soundness And Completeness  Specification And Verification