Basant Rajan, R.K. Shyamasundar  Home/Search
Context Related
| tcs.tifr.res.in/pub/pa...IASTED97.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/~b...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: It has recently been shown that both asynchrony and perfect synchrony are needed for the specification of complex reactive systems and a paradigm called Communicating Reactive Processes (CRP) was proposed towards such a unification. The paradigm consists of a network of perfectly synchronous nodes communicating asynchronously. This paper addresses the implementation issues of such paradigms and discusses possible implementations that are consistent with the reactive and rendezvous preserving... (Update)
Context of citations to this paper: More
...ATM. A Generalized hMSC with Preemption has been designed and implemented for the specification and prototyping of reactive systems [4, 5]. MSC is based on high level Message Sequence Charts and has reactive features such as semi re laxed coregion, watchdogs and forbidden...
Cited by: More
Designing of Reactive System using Extended Message.. - Belachew, Joshi.. (2000) (Correct)
Similar documents (at the sentence level):
48.0%: Networks of Preemptible Reactive Processes: An Implementation - Rajan, Shyamasundar (1995) (Correct)
Active bibliography (related documents): More All
0.1: Programming Languages: Specification - Rajan (1998) (Correct)
0.1: Modelling VHDL in Multiclock Esterel - Rajan, Shyamasundar (Correct)
0.1: Multiclock ESTEREL: A Reactive Framework for Asynchronous.. - Rajan, Shyamasundar (2000) (Correct)
Similar documents based on text: More All
0.9: Modeling Distributed Embedded Systems in Multiclock Esterel - Rajan, Shyamasundar (2000) (Correct)
0.4: An Implementation for CRP - Rajan, Shyamasundar (Correct)
0.3: Mapping Linear Recurrence Equations onto Systolic.. - Kazerouni, Rajan.. (Correct)
BibTeX entry: (Update)
B. Rajan, R.K. Shyamasundar (1997) An Implementation of Communicating Reactive Process. Intl. Conf. on Parallel and Distributed Computing and Networks, Singapore http://citeseer.ist.psu.edu/rajan97implementation.html More
@misc{ rajan97implementation,
author = "B. Rajan and R. Shyamasundar",
title = "An Implementation of Communicating Reactive Process",
note = "Intl. Conf. on Parallel and Distributed Computing and Networks,
Singapore",
year = "1997",
url = "citeseer.ist.psu.edu/rajan97implementation.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.
7 Specification of Hybrid Systems in CRP (context) - Shyamasundar
Documents on the same site (http://www.tcs.tifr.res.in/~basant/pers/publications.html): More
An Implementation for CRP - Rajan, Shyamasundar (Correct)
Mapping Linear Recurrences onto Systolic Arrays - Ladan Kazerouni Department (1995) (Correct)
Derivation of Systolic Programs - Ladan Kazerouni Basant (1994) (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