Communicating sequential processes

RTC: Language support for real-time concurrency

Victor Fay Wolfe, Susan B. Davidson, Insup Lee

Citations: 42 • 1993

Testing Robots Using CSP

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Citations: 16 • 2019

Distributed Implementation of Communicating Process Architectures for Autonomous Mobile Robots

Gen’ichi Yasuda

Citations: 7 • 1997

Formally verified animation for RoboChart using interaction trees

Kangfeng Ye, Simon Foster, Jim Woodcock

Citations: 6 • 2023

Supporting Selective Formalism in CSP++ with Process-Specific Storage

William B. Gardner, Alicia Gumtie, John D. Carter

Citations: 4 • 2015

Implementation of Communicating Sequential Processes for Distributed Robot System Architectures

Gen’ichi Yasuda, Keihachiro Tachibana

Citations: 4 • 1997