Marc Aiguier, Stefan Beroff, Pierre-Yves Schobbens  Home/Search
Context
Related
| ibisc.univevry.fr/~aiguier/d...vhdl.ps 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: ibisc.univevry.fr/~aiguier/do... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a simple extension of algebraic speci cation to deal with real time. Although terms are given a rather operational semantics, it preserves the important structural properties of algebraic speci cations. We illustrate it on the semantics of the hardware description language VHDL. (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ aiguier-algebraic,
author = "Marc Aiguier and Stefan Beroff and Pierre-Yves Schobbens",
title = "An algebraic approach to real-time specification",
url = "citeseer.ist.psu.edu/763789.html" }
Citations (may not include all citations):725 Temporal and modal logic (context) - Emerson - 1990
562 Categories for the Working Mathematician (context) - Lane - 1971
232 Category Theory for Computing Science (context) - Barr, Wells - 1990
218 Safety analysis of timing properties in real-time systems (context) - Jahanian, Mok - 1986
175 Logics and models of real time: a survey - Alur, Henzinger - 1992
155 Real-time process algebra (context) - Baeten, Bergstra - 1991
90 Specifying message passing and time-critical systems with te.. (context) - Koymans - 1992
70 volume 6 of EATCS Monographs on Theoretical Computer Science (context) - Ehrig, Mahr et al. - 1985
63 Institutions: Abstract model theory for speci cation and pro.. (context) - Goguen, Burstall - 1992
58 Explicit-clock temporal logic (context) - Harel, Lichtenstein et al. - 1990
52 object-oriented and relational programming with logical sema.. (context) - Goguen, Meseguer - 1987
43 Formal Methods for Real-Time Computing (context) - Heitmeyer, Mandrioli - 1996
30 Temporal Logic (context) - Gabbay, Hodkinson et al. - 1994
29 Theoretical Computer Science (context) - Reed, Roscoe et al. - 1999
22 Algebraic speci cations (context) - Wirsing - 1990
20 An initial algebra approach to the speci cation (context) - Goguen, Thatcher et al. - 1978
19 Algebraic approaches to nondeterminism: An overview - Walicki, Meldal - 1997
14 Timed rewriting logic with an application to object-based sp.. (context) - Kosiuczenko, Wirsing - 1997
14 An introduction to ET-LOTOS for the description of time-sens.. (context) - eonard, Leduc - 1997
10 The algebraic speci cation of abstract data types (context) - Guttag, Horning - 1978
10 The bene ts of relaxing punctuality (context) - Alur, Feder et al. - 1996
8 Computing quantitative characteristics of nite-state real-ti.. (context) - Campos, Clarke et al. - 1994
6 ALBERT: A formal language and its supporting tools for requi.. (context) - Dubois - 1998
4 Science of Computer Programming (context) - Bernot, Gall et al. - 1994
3 A gentle introduction to CASL (context) - Bidoit, Mosses - 2000
3 esentation d'un formalisme de speci cation dynamique temps .. (context) - ero - 1999
3 An institution of hybrid systems - Lourenco, Sernadas - 2000
2 Object-oriented logic speci cations of time critical systems (context) - Morzenti, Pietro - 1994
2 Using axiomatic speci cations for hardware system design (context) - Aiguier, ero et al. - 1996
2 Ecos: A generic codesign environment for the prototyping of .. (context) - Aiguier, Benzakki et al. - 1996
1 Algebraic System Speci cation and development (context) - Cerioli - 1997
Documents on the same site (http://www.ibisc.univ-evry.fr/~aiguier/documents/publications/): More
Testing from Algebraic Specifications: Test Data.. - Aiguier, Arnould, .. (2005) (Correct)
Stratified institutions and elementary homomorphisms - Aiguier, Diaconescu (Correct)
An algebraic approach for Codesign - Aiguier, Beroff, Schobbens (2004) (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