References

1

Frederic Boussinot and Robert de Simone, `The Esterel language', Proceedings of the IEEE, 79(9), 1293-1304 (1991).

2

Frederic Boussinot, `Reactive C: An extension of C to program reactive systems', Software - Practice and Experience, 21(4), 401-428 (1991).

3

J. William Atwood, `Concurrency in operating systems', IEEE Computer, 9(10), 18-26 (1976).

4

R. Jordan Martin, Transaction Processing Facility: A Guide for Application Programmers, Yourdon Press, 1990.

5

John H. Reppy, `First-class synchronous operations', Proceedings of the First International Workshop on Theory and Practice of Parallel Programming, February 1995, pp. 235-252.

6

David Garlan and Dewayne E. Perry, `Introduction to the special issue on software architecture', IEEE Transactions on Software Engineering, 21(4), 269-274 (1995).

7

Maurice Herlihy, `A methodology for implementing highly concurrent data structures', Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP), March 1990.

8

D. Harel and A. Pnueli, `On the development of reactive systems', Logics and Models of Concurrent Systems, NATO ASI Series, 13, 477-498 (1985).

9

S. B. Jones and A. F. Sinclair, `Functional programming and operating systems', The Computer Journal, 32(2), 162-174 (1989).

10

K. R. Mayes and J. A. Keane, `Levels of atomic action in the Flagship parallel system', Concurrency: Practice and Experience, 5(3), 193-212 (1993).

11

Albert Benveniste and Gerard Berry, `The synchronous approach to reactive and real-time systems', Proceedings of the IEEE, 79(9), 1270-1282 (1991).

12

Andrew J. Kozubal, Debora M. Kerstiens, and Rozelle M. Wright, `Experience with the State Notation Language and run-time sequencer', Nuclear Instruments and Methods in Physics Research A, 352(1,2), 411-414 (1994).

13

Ilkka Kuuluvainen, Mika Vanttinen, and Perttu Koskinen, `The action-state diagram: A compact finite state machine representation for user interfaces and small embedded reactive systems', IEEE Transactions on Consumer Electronics, 37(3), 651-658 (1991).

14

H. Kopetz, `Event-triggered versus time-triggered real-time systems', A. Karshmer and J. Nehmer (eds.), Operating Systems of the 90s and Beyond, volume 563 of Lecture Notes in Computer Science. Springer-Verlag, July 1991, pp. 87-101.

15

Nicolas Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, 1993.

16

Maurice Herlihy, `Wait-free synchronization', Communications of the ACM, 11(1), 124-149 (1991).

17

Leslie Lamport, `Processes are in the eye of the beholder', Technical Report 132, Digital Systems Research Center, December 1994.

18

K. Birman and T. Joseph, `Exploiting virtual synchrony in distributed systems', Proceedings of the Eleventh ACM Symposium on Operating System Principles, November 1987, pp. 123-138.

19

Keith Marzullo and Mark D. Wood, `Tools for constructing distributed reactive systems', Technical Report TR 91-1193, Cornell, February 1991.

20

Gerard Berry and Laurent Cosserat, `The Esterel synchronous programming language and its mathematical semantics', S.D. Brookes, A.W. Roscoe, and G. Winskel (eds.), Seminar on Concurrency, volume 197 of Lecture Notes in Computer Science. Springer-Verlag, July 1984, pp. 389-448.

21

Gerard Berry and Georges Gonthier, `The Esterel synchronous programming language: Design, semantics, implementation', Science of Computer Programming, 19(2), 87-152 (1992).

22

Robin Milner, `Turing award lecture: Elements of interaction', Communications of the ACM, 36(1), 78-89 (1993).

23

Gary J. Murakami and Ravi Sethi, `Terminal call processing in Esterel', Computer Science Technical Report 150, ATT Bell Laboratories, January 1990.

24

Mark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, and James Von Olnhausen, `A framework for evaluating specification methods for reactive systems: Experience report', IEEE Transactions on Software Engineering, 22(6), 378-389 (1996).

25

Formal Development of Reactive Systems: Case Study Production Cell, Claus Lewerentz and Thomas Linder (eds.), volume 891 of Lecture Notes in Computer Science, Springer-Verlag, 1995.

26

Reinhard Budde, `Esterel', Claus Lewerentz and Thomas Lindner (eds.), Formal Development of Reactive Systems: Case Study Production Cell, volume 891 of Lecture Notes in Computer Science. Springer-Verlag, 1995, chapter 5, pp. 75-100.

27

J.C. Mogul and A. Borg, `The effect of context switches on cache performance', Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 1991, pp. 75-84.

28

Theodore P. Baker and Gregory M. Scallon, `An architecture for real-time software systems', IEEE Software, 2(5), 50-58 (1986).

29

Edsger W. Dijkstra, `Guarded commands, nondeterminacy and formal derivation of programs', Communications of the ACM, 18(8), 453-457 (1975).

30

Ehud Shapiro, `Concurrent Prolog: A progress report', IEEE Computer, 19(8), 44-58 (1986).

31

Koichi Furukawa, `Logic programming as the integrator of the fifth generation computer systems project', Communications of the ACM, 35(3), 82-92 (1992).

32

Stephen Edwards, `An Esterel compiler for a synchronous/reactive development system', Technical Report ERL 94-43, University of California, Berkeley, June 1994.

33

C. Huizing and R. Gerth, `Semantics of reactive systems in abstract time', J.W. de Bakker, C. Huizing, W.P. de Roever, and G. Rozenberg (eds.), Real-Time: Theory in Practice, volume 600 of Lecture Notes in Computer Science. Springer-Verlag, June 1991, pp. 291-314.

34

Stanley Letovsky and Elliot Soloway, `Delocalized plans and program comprehension', IEEE Software, 3(3), 41-49 (1986).

35

Frank DeRemer and Hans H. Kron, `Programming in the large versus programming in the small', IEEE Transactions on Software Engineering, 2(2), 80-86 (1976).

36

Peter M. Kogge, `An architectural trail to threaded-code systems', IEEE Computer, 15(3), 22-32 (1982).

37

S. Andler, `Predicate path expressions', Sixth Annual ACM Symposium on Principles of Programming Languages, 1979, pp. 226-236.

38

Mary Shaw and William A. Wulf, `Tyrannical languages still preempt system design', Proceedings 1992 International Conference on Computer Languages. IEEE Computer Society Press, April 1992, pp. 200-211.

39

Lee MacLaren, `Evolving toward ADA in real-time systems', Proceedings of the ACM SIGPLAN Symposium on the ADA Language, Boston, December 1980.

40

Robert L. Glass, Real-Time Software, Prentice-Hall, 1983.

41

Frederick C. Johnson, `Real-time data processing and orbit determination on the Apollo tracking ships, NASA-CR-111576', AGARD Conference Proceedings No. 68 on the Application of Digital Computers to Guidance and Control, AGARD-CP68-70. Harford House, June 1970, pp. 22-32.

42

S.M. Ornstein, W.R. Crowther, M.F. Kraley, R.D. Bressler, A. Michel, and F.E. Hart, `Pluribus - a reliable multiprocessor', Procedings of the AFIPS 1975 Conference, 1975, pp. 551-559.

43

Alan C. Shaw, `Software clocks, concurrent programming, and slice-based scheduling', Proceedings of the 1986 Real-Time Systems Symposium, December 1986, pp. 14-18.

44

James R. Bell, `Threaded code', Communications of the ACM, 16(6), 370-372 (1973).

45

Ronald F. Brender, `Turning cousins into sisters: An example of software smoothing of hardware differences', in C. Gordon Bell, J. Craig Mudge, and John E. McNamara (eds.), Computer Engineering: A DEC View of Hardware Systems Design, Digital Press, 1978, pp. 365-378.

46

Steve T. Allworth, Introduction to Real-Time Software Design, Springer-Verlag, 1981.

47

O. J. Dahl, Edsger W. Dijkstra, and C. A. R. Hoare, Structured Programming, Academic Press, 1972.

48

W. F. C. Purser and D. M. Jennings, `The design of a real-time operating system for a minicomputer', Software - Practice and Experience, 5, 147--167 (1975).

49

Frederic Boussinot and Robert de Simone, `The SL synchronous language', IEEE Transactions on Software Engineering, 22(4), 256-266 (1996).

50

Mark Weiser, `Programmers use slices when debugging', Communications of the ACM, 446-452 (1982).

51

Keith Brian Gallagher and James R. Lyle, `Using program slicing in software maintenance', IEEE Transactions on Software Engineering, 17(8), 751-760 (1991).

52

Cherri M. Pancake, `Multithreaded languages for scientific and technical computing', Proceedings of the IEEE, 81(2), 288-304 (1993).

53

Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, and Yuli Zhou, `Cilk: An efficient multithreaded runtime system', Proceedings of the Fifth ACM SIGPLAN Symposium on Priciples and Practice of Parallel Programming, July 1995, pp. 207-216.