Semantics and verification of hierarchical CRP programs

RK Shyamasundar, S Ramesh - Hybrid Systems II 2, 1995 - Springer
Abstract Communicating Reactive Processes (CRP) paradigm unifies asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP …
被引用次数：3 相关文章
[PDF] researchgate.net

[PDF][PDF] Semantics and Verification of Hierarchical CRP Programs?

RK Shyamasundar, S Ramesh - researchgate.net
Abstract Communicating Reactive Processes (CRP) paradigm uni es asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP uni …

[引用][C] Semantics and Verification of Hierarchical CRP Programs

RK Shyamasundar, S Ramesh - Hybrid Systems II, 1995 - dl.acm.org
Semantics and Verification of Hierarchical CRP Programs | Hybrid Systems II skip to main
content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse …
[PS] iitb.ac.in

[PS][PS] Semantics and Verification of Hierarchical CRP Programs?

RK Shyamasundar, S Ramesh - cse.iitb.ac.in
Abstract Communicating Reactive Processes (CRP) paradigm uni es asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP uni …

Semantics and Verification of Hierarchical CRP Programs

RK Shyamasundar - Springer
Abstract Communicating Reactive Processes (CRP) paradigm unifies asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP …

Semantics and verification of hierarchical CRP programs

RK Shyamasundar, S Ramesh - Hybrid Systems II - infona.pl
Communicating Reactive Processes (CRP) paradigm unifies asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP …

Semantics and Verification of Hierarchical CRP Programs

RK Shyamasundar, S Ramesh - Hybrid Systems II, 1995 - books.google.com
Abstract Communicating Reactive Processes (CRP) paradigm unifies asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP …
[PDF] psu.edu

[PDF][PDF] Semantics and Verification of Hierarchical CRP Programs?

RK Shyamasundar, S Ramesh - Citeseer
Abstract Communicating Reactive Processes (CRP) paradigm uni es asynchronous and
synchronous mechanisms of concurrent programming languages. As an example, CRP uni …

[引用][C] Semantics and verification of hierarchical CRP programs

R Shyamasundar, S Ramesh - Hybrid Systems II, 1995 - Springer