Basant Rajan  Home/Search
Context Related
| tcs.tifr.res.in/pub/pape...thesis.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: This thesis introduces Multiclock Esterel, a synchronous language, suitable for application areas including embedded reactive control and digital hardware design where considerable effort is directed towards verification of the developed systems. Though an extension of the language Esterel, Multiclock Esterel differs significantly from it, in that Multiclock Esterel succeeds in adapting synchronous paradigms to deal with interactions between asynchronous modules. However, it continues to... (Update)
Context of citations to this paper: More
.... that occur out of sync with the current tick signal In the following, we present the form of latch used in Multiclock ESTEREL(refer to [7] for other possible notions) Figure 1 shows the relationship between a clock, a signal and the latched version of the signal as used in...
.... how does one treat events that occur out of sync with the current tick signal The form of latch used in Multiclock ESTEREL(refer to [2] for other possible notions) is shown in Figure 1. the waveform labeled tick is assumed to be the current clock. It is not necessary...
Cited by: More
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
1.5: Graduate Course: Reactive and Real-Time Systems - Koren, Tyszberowicz (Correct)
1.0: Preemption in Concurrent Systems - Berry (1993) (Correct)
0.8: The Semantics of Pure Esterel - Berry (1993) (Correct)
Similar documents based on text: More All
2.1: Modeling Distributed Embedded Systems in Multiclock Esterel - Rajan, Shyamasundar (2000) (Correct)
0.8: Cv - Mahimkar (Correct)
0.6: Designing of Reactive System using Extended Message.. - Belachew, Joshi.. (2000) (Correct)
Related documents from co-citation: More All
3: Preemption in concurrent systems - Berry - 1993
2: Specification of Hybrid Systems in CRP (context) - Shyamasundar
2: An Implementation of CRP - Rajan, Shyamasundar
BibTeX entry: (Update)
Basant Rajan. Programming Languages: Specification & Design of Multiple-Clocked Systems. PhD thesis, Tata Institute of Fundamental Research, 98. http://citeseer.ist.psu.edu/rajan98programming.html More
@misc{ rajan-programming,
author = "B. Rajan",
title = "Programming Languages: Specification & Design of Multiple-Clocked Systems",
text = "Basant Rajan. Programming Languages: Specification & Design of Multiple-Clocked
Systems. PhD thesis, Tata Institute of Fundamental Research, 98.",
url = "citeseer.ist.psu.edu/rajan98programming.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
2732 Communicating Sequential Processes (context) - Hoare - 1978
1180 The Temporal Logic of Reactive and Concurrent Systems Specif.. (context) - Manna, Pnueli - 1992
1174 Statecharts: A visual formalism for complex systems - Harel - 1987
1097 Automatic verification of finitestate concurrent systems usi.. (context) - Clarke, Emerson et al. - 1986
457 The Esterel synchronous programming language: design - Berry, Gonthier - 1992
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
299 Model-checking for real-time systems (context) - Alur, Courcoubetis et al. - 1990
293 Programming from Specifications (context) - Morgan - 1990
270 Synchronous Programming of Reactive Systems (context) - Halbwachs - 1993
268 The theory of timed automata - Alur, Dill - 1991
235 The synchronous dataflow programming language lustre - Halbwachs, Caspi et al. - 1991
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
214 An old-fashioned recipe for real time - Abadi, Lamport - 1994
211 The synchronous approach to reactive and real-time systems (context) - Berry, Benveniste - 1991
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
163 The temporal analysis of fairness (context) - Gabbay, Pnueli et al. - 1980
146 Prentice Hall International (context) - Dijkstra, Programming - 1981
121 Programming real time applications with Signal (context) - le Guernic, Gautier et al. - 1991
118 Temporal Logic for Real-Time Systems (context) - Ostroff - 1990
112 Lustre: A declarative language for programming synchronous s.. (context) - Caspi, Pilaud et al. - 1987
108 Verification of synchronous sequential machines based on sym.. (context) - Coudert, Berthet et al. - 1989
108 Reactive Modules - Alur - 1996
103 Specifying and verifying requirements of real-time systems (context) - Ravn, Rischel et al. - 1993
102 Verification tools for finite-state concurrent systems - Clarke, Grumberg et al. - 1995
98 Real-time systems and their programming languages (context) - Burns, Wellings - 1990
95 Verification of Sequential and Concurrent Programs (context) - Apt, Olderog - 1991
92 Synchronous programming with events and relations: the Signa.. (context) - Benveniste, le Guernic et al. - 1991
91 Program development by stepwise refinement (context) - Wirth - 1971
89 Strategies for Real-Time System Specification (context) - Hatley, Pirbhai - 1988
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
65 Communicating reactive processes - Berry, Ramesh et al. - 1993
64 From Regular Expressions to Deterministic Automata (context) - Berry, Sethi - 1986
62 Programming and verifying real-time systems by means of the .. - Halbwachs, Lagnier et al. - 1992
60 Software requirements analysis for real-time process-control.. (context) - Jaffe, Leveson et al. - 1991
57 Models for reactivity - Manna, Pnueli - 1994
57 Models for reactivity - Manna, Pnueli - 1993
56 Object oriented specification of reactive systems (context) - Jarvinen, Kurki-Suonio et al. - 1990
56 Software Design Methods for Concurrent and Real-Time Systems (context) - Gomaa - 1993
49 Preemption in Concurrent Systems - Berry - 1993
46 Constructing Predictable Real-Time Systems (context) - Halang, Sacha - 1991
41 Applications of temporal logic to the specification of real-.. (context) - Pnueli, Harel - 1988
38 A formal approach to reactive systems software: A telecommun.. (context) - Puchol - 1995
38 The transformation schema: An extension of the data flow dia.. (context) - Ward - 1986
34 Software safety in embedded computer systems (context) - Leveson - 1991
31 Real-time programming: General purpose or special-purpose la.. (context) - Berry - 1989
31 Auto and Autograph (context) - Roy, de Simone - 1990
29 Towards a discipline of real-time programming (context) - Wirth - 1977
28 Towards a design calculus for communicating programs (context) - Olderog - 1991
28 Auto: A verification tool for distributed systems using redu.. (context) - Madelaine, Vergamini - 1989
27 Formal methods for the specification and design of real-time.. - Ostroff - 1992
25 A multiparadigm language for reactive systems - Jourdan, Lagnier et al. - 1994
25 Real-Time Concurrent C: A Language for Programming Dynamic R.. (context) - Gehani, Ramamritham - 1991
25 Synchronous programming of reactive systems: an introduction.. (context) - Berry, Couronn'e et al. - 1988
23 Optimized controller synthesis using Esterel - Touati, Berry - 1993
22 Terminal call processing in Esterel (context) - Murakami, Sethi - 1992
20 Philosophical Transactions of Royal Society of London (context) - Berry, hardware - 1992
20 The synchronous programming language Esterel and its mathema.. (context) - Berry, Cosserat - 1984
18 Proving safety properties of hybrid systems - Kapur, Henzinger et al. - 1994
17 RT-ASLAN: A specification language for real-time systems (context) - Auernheimer, Kemmerer - 1986
17 From a synchronous declarative language to a temporal logic .. (context) - Pilaud, Halbwachs - 1988
17 Real-Time System Design (context) - Levi, Agrawala - 1990
16 Incremental development of an HDLC entity in Esterel (context) - Berry, Gonthier - 1991
15 Another Look at Real Time Programming (context) - Boussinot, de Simone et al. - 1991
13 Real-Time Systems Design and Analysis (context) - Laplante - 1993
12 A denotational theory of synchronous reactive systems (context) - Benveniste, le Guernic et al. - 1992
11 Foundations of Real-Time Computing: Formal Specifications an.. (context) - van Tilborg, Koob - 1991
11 the development of reactive systems: logics and models of co.. (context) - Harel, Pnueli - 1985
11 Incremental development of an HDLC protocol in Esterel - Berry, Gonthier - 1989
10 The concept of time in the specification of real-time system.. (context) - Hoogeboom, Halang - 1988
9 programming and verifying real-time systems (context) - Halbwachs, Pilaud et al. - 1989
9 The semantics of pure Esterel - Berry - 1993
8 State-based specification of complex real-time systems (context) - Gabrielian, Franklin - 1988
8 Specification and verification or real-time embedded systems.. (context) - Bestavros - 1991
7 Programming a digital watch in Esterel v - Berry - 1991
7 Synchronous technology for real-time systems - Benveniste - 1994
7 Specification of Hybrid Systems in CRP (context) - Shyamasundar - 1993
6 a declarative language for synchronous programming of real-t.. (context) - Gauthier, le Guernic et al. - 1987
6 Programming a reflex game in Esterel v (context) - Boussinot - 1991
6 A compositional semantics of esterel in duration calculus - Shyamasundar, Pandya et al. - 1995
5 Programming the behavior of graphical objects using Esterel (context) - Cl'ement, Incerpi - 1989
5 Implementing reactive programs on circuits (context) - Rocheteau, Halbwachs - 1991
5 Execution machines for Esterel (context) - Andr'e, Marmorat et al. - 1991
5 Practical formal development of real-time systems - Bradley, Henderson et al. - 1994
5 Rapport Centre de Math'ematiques Appliqu'ees de l'Ecole des .. (context) - Berry, implementation et al. - 1992
4 Studying synchronous communication mechanisms by abstraction.. - Jourdan, Maraninchi - 1994
4 Implementation of Industrial Computerized Process Automation (context) - Halang, Stoyenko - 1992
4 A quick guide to Esterel version (context) - Berry - 1997
4 Prentice-Hall International (context) - Gries, Programming - 1983
4 A New Efficient Implementation of CSP with Output Guards (context) - Ramesh - 1987
3 Semantics of a real-time language (context) - Berzins - 1988
3 Rapport Technique RT (context) - de Simone, Vergamini - 1989
3 The Specification and Execution of Heterogenous Synchronous .. (context) - Edwards - 1997
3 Survey of formal specification techniques for reactive syste.. (context) - Place, Wood et al. - 1990
2 Focusing real-time analysis on user operations (context) - Deutsch - 1988
2 Task-level robot programming combining object-oriented desig.. (context) - Coste-Maniere, Espiau et al. - 1991
2 Logics and models of real time: A survey (context) - Sha, Lehoczky et al. - 1991
2 A synchronous approach for control sequencing in robotics ap.. (context) - Espiau, Coste-Maniere - 1990
1 Synchronous dataflow languages (context) - Benveniste, Caspi et al. - 1993
1 Rapport Technique RT (context) - Roy, primer - 1989
1 a new real-time methodology (context) - Gauthier, le Guernic et al. - 1994
1 implementation of a real-time system (context) - Andr'e, Fancelli et al. - 1990
1 from theory to practice: Verification tools (context) - Benveniste, le Borgne et al. - 1990
1 IRISA Technical Report (context) - Bournai, Cheron et al. - 1993
1 Multiclock Esterel: A framework for asynchronous design (context) - Rajan, Shyamasundar - 1998
1 Tata Institute of Fundamental Research (context) - Rajan, Shyamasundar et al. - 1995
1 A programming and simulation tool for robotics workcells (context) - Coste-Maniere, Faverjon - 1990
1 about real-time systems (context) - Joseph, Goswami et al. - 1988
1 Times transition systems (context) - Henzinger, Manna et al. - 1991
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