Basant Rajan, R.K. Shyamasundar  Home/Search
Context Related
| tcs.tifr.res.in/~shyam/crp94.ps tcs.tifr.res.in/pub/pa...TCS946.ps.gz tcs.tifr.res.in/~shyam/crp94.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: tcs.tifr.res.in/~s...pub_reactive (more) From: tcs.tifr.res.in/~s...pub_reactive (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents on going work related to the implementation of CRP on platforms running Unix System V. Asynchronous languages are well suited for loosely coupled distributed algorithms while synchronous languages like Esterel cater to the needs of tightly coupled, deterministic, reactive ones. Currently each language class on its own, falls short of the requirements the other satisfies. While synchronous languages lack support for catering to asynchronous distributed algorithms,... (Update)
Context of citations to this paper: More
...to control each articulation, but the global robot control may remain asynchronous because of limitations of networking capabilities. In [4, 8, 2], a paradigm referred to as Communicating Reactive Processes (CRP) that provides a uni cation of perfect synchrony and asynchrony has...
Cited by: More
Modeling Distributed Embedded Systems in Multiclock Esterel - Rajan, Shyamasundar (2000) (Correct)
Multiclock ESTEREL: A Reactive Framework for Asynchronous.. - Rajan, Shyamasundar (2000) (Correct)
Modelling VHDL in Multiclock Esterel - Rajan, Shyamasundar (Correct)
Active bibliography (related documents): More All
0.0: Programming Languages: Specification - Rajan (1998) (Correct)
0.0: An Implementation of Communicating Reactive Processes - Rajan, Shyamasundar (1997) (Correct)
0.0: Embedded Software - Lee (2001) (Correct)
Similar documents based on text: More All
0.6: Semantics and Verification of Hierarchical CRP Programs - Shyamasundar, Ramesh (Correct)
0.5: Networks of Preemptible Reactive Processes: An Implementation - Rajan, Shyamasundar (1995) (Correct)
0.4: Specifying Dynamic Real-Time Systems in CRP - Shyamasundar (1994) (Correct)
Related documents from co-citation: More All
3: Preemption in concurrent systems - Berry - 1993
3: The Esterel synchronous programming language: Design - Berry, Gonthier - 1992
3: Communicating reactive processes - Berry, Ramesh et al. - 1993
BibTeX entry: (Update)
Basant Rajan and R.K. Shyamasundar. An Implementation of CRP. In IASTED, Singapore, 97. (Also TIFR/TCS-95/7 Bombay, India). http://citeseer.ist.psu.edu/78192.html More
@misc{ rajan-implementation,
author = "B. Rajan and R. Shyamasundar",
title = "An Implementation of {CRP}",
note = "In IASTED, Singapore, 97. (Also TIFR/TCS-95/7 Bombay, India)",
url = "citeseer.ist.psu.edu/78192.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare
457 The Esterel Synchronous Programming Language: Design semanti.. - Berry, Gonthier
65 Communicating Reactive Processes - Berry, Ramesh et al.
Documents on the same site (http://www.tcs.tifr.res.in/~shyam/pub_reactive.html): More
Preemption Primitives in Reactive Languages - Pinchinat, Rutten, Shyamasundar (1995) (Correct)
Preemption Primitives in Reactive Languages - Pinchinat, Rutten, Shyamasundar (1995) (Correct)
Semantics and Verification of Hierarchical CRP Programs - Shyamasundar, Ramesh (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC