A compositional semantic theory for synchronous component-based design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2761, Issue , 2003, Pages 461-476

  Norton, Barry ^a   Lüttgen, Gerald ^b   Mendler, Michael ^c  

^a UNIVERSITY OF SHEFFIELD   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

^c UNIVERSITY OF BAMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BUILDING SIGNAL SYSTEMS; CLOCKS; FLOW GRAPHS; SEMANTICS; SIGNAL PROCESSING;

ALGEBRAIC MODELING; APPLICATION DEVELOPERS; COMPOSITIONAL SEMANTICS; DYNAMIC SYNCHRONOUS; EMBEDDED PROCESSORS; OBSERVATION EQUIVALENCE; RUNTIME ENVIRONMENTS; SYNCHRONOUS COMPONENTS;

SIGNAL FLOW GRAPHS;

EID: 35248861076     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45187-7_30     Document Type: Article

References (16)

1. H.R. Andersen and M. Mendler. An asynchronous process algebra with multiple clocks. In ESOP '94, volume 788 of LNCS, pages 58-73, 1994.
2. M. Bernardo, P. Ciancarini, and L. Donatiello. Detecting architectural mismatches in process algebraic descriptions of software systems. In WICSA 2001, pages 77-86. IEEE Comp. Soc. Press, 2001.
3. R. Cleaveland, G. Lüttgen, and M. Mendler. An algebraic theory of multiple clocks. In CONCUR '97, volume 1243 of LNCS, pages 166-180, 1997.
4. R. Cleaveland and S. Sims. The NCSU Concurrency Workbench. In CAV '96, volume 1102 of LNCS, pages 394-397, 1996.
5. L. de Alfaro and T.A. Henzinger. Interface automata. In ESEC/FSE 2001, volume 26, 5 of Softw. Eng. Notes, pages 109-120. ACM Press, 2001.
6. S. Hauck. Asynchronous design methodologies: An overview. Proc. of the IEEE, 83(1):69-93, 1995.
7. M. Hennessy and T. Regan. A process algebra for timed systems. Inform. and Comp., 117:221-239, 1995.
8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
9. G.W. Johnson and R. Jennings. LabView Graphical Programming. McGraw, 2001.
10. E.A. Lee. Overview of the Ptolemy project. Technical Report UCB/ERL M01/11, Univ. of California at Berkeley, 2001.
11. E.A. Lee and Y. Xiong. Behavioral types for component-based design. Technical Report UCB/ERL M02/29, Univ. of California at Berkeley, 2002.
12. R. Milner. Communication and Concurrency. Prentice Hall, 1989.
13. K.V.S. Prasad. Programming with broadcasts. In CONCUR '93, volume 715 of LNCS, pages 173-187, 1993.
14. F. Puntigam. Type specifications with processes. In FORTE '95, volume 43 of IFIP Conf. Proc. Chapman & Hall, 1995.
15. A. Sicheneder et al. Tool-supported software design and program execution for signal processing applications using modular software components. In STTT '98, BRICS Notes Series NS-98-4, pages 61-70, 1998.
16. C. Verhoef. A congruence theorem for structured operational semantics with predicates and negative premises. Nordic J. of Computing, 2(2):274-302, 1995.