Communicating sequential processes
相关论文数: 6
顶级研究者
最高引用论文
RTC: Language support for real-time concurrency
Victor Fay Wolfe, Susan B. Davidson, Insup Lee
引用数: 42 • 1993
Testing Robots Using CSP
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
引用数: 16 • 2019
Distributed Implementation of Communicating Process Architectures for Autonomous Mobile Robots
Gen’ichi Yasuda
引用数: 7 • 1997
Formally verified animation for RoboChart using interaction trees
Kangfeng Ye, Simon Foster, Jim Woodcock
引用数: 6 • 2023
Supporting Selective Formalism in CSP++ with Process-Specific Storage
William B. Gardner, Alicia Gumtie, John D. Carter
引用数: 4 • 2015
Implementation of Communicating Sequential Processes for Distributed Robot System Architectures
Gen’ichi Yasuda, Keihachiro Tachibana
引用数: 4 • 1997