Algebraic specification of reactive systems

Theoretical Computer Science

Volumn 239, Issue 1, 2000, Pages 3-40

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Algebraic specification; Process algebra; Reactive systems

Indexed keywords

EID: 0347307051     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00212-1     Document Type: Article

References (26)

1. M. Broy, Applicative real time programming, in: Information Processing 83, IFIP World Congress, Paris, North-Holland Publ. Company, Amsterdam, 1983, pp. 259-264.
2. M. Broy, Specification and top down design of distributed systems, in: H. Ehrig et al. (Eds.), Formal Methods and Software Development. Lecture Notes in Computer Science, vol. 186, Springer, Berlin, 1985, pp. 4-28, Revised version in JCSS 34(2/3)(1987) 236-264.
3. M. Broy, Specification and top down design of distributed systems, in: H. Ehrig et al. (Eds.), Formal Methods and Software Development. Lecture Notes in Computer Science, vol. 186, Springer, Berlin, 1985, pp. 4-28, Revised version in JCSS 34(2/3)(1987) 236-264.
4. M. Broy, A Theory for Nondeterminism, Parallelism, Communication and Concurrency, Habilitation, Fakultät für Mathematik und Informatik der Technischen Universität München, 1982, Revised version in: Theoret. Comput. Sci. 45 (1986) 1-61.
5. M. Broy, Semantics of finite or infinite networks of communicating agents, Distributed Comput. 2 (1987) 13-31.
6. M. Broy, Predicative specification for functional programs describing communicating networks, Inform. Process. Lett. 25 (1987) 93-101.
7. M. Broy, Functional specification of time sensitive communicating systems, ACM Trans. Software Eng. Method. 2(1) (1993) 1-46.
8. M. Broy, A functional rephrasing of the assumption/commitment specification style, Technische Universität München, Institut für Informatik, TUM-I9417, June 1994, Revised and Extended Version to appear in: Formal Methods in System Des.
9. M. Broy, Equations for describing dynamic nets of communicating systems, in: E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S. Margherita, Italy, May/June 1994, Lecture Notes in Computer Science, vol. 906, Springer, Berlin, 1995, pp. 170-187.
10. M. Broy, The specification of system components by state transition diagrams, Technical Memo, 1996.
11. M. Broy: Refinement of time, M. Bertran, Th. Rus (Eds.), Transformation-Based Reactive System Development. ARTS'97, Mallorca 1997. Lecture Notes in Computer Science, vol. 1231, Springer, Berlin, 1997, pp. 44-63.
12. M. Broy, G. Ştefǎnescu, Algebra of stream processing functions, Theoret. Comput. Sci., to appear.
13. M. Broy, K. Stoølen, Specification and refinement of finite dataflow networks - a relational approach, in: H. Langmaack, W.-P. de Roever, J. Vytopil, (Eds), Proc. FTRTFT'94, Lecture Notes in Computer Science, vol. 863, Spinger, Berlin, 1994, pp. 247-267.
14. P. Dybier, H. Sander, A functional programming approach to the specification and verification of concurrent systems, Chalmers University of Technology and University of Göteborg, Department of Computer Sciences, 1988.
15. M. Broy, M. Fuchs, T.F. Gritzner, B. Schätz, K. Spies, K. Stolen, Summary of case studies in FOCUS - a design method for distributed systems, technische Universität München, Institut für Informatik, TUM-I9423, Juni 1994.
16. R. Grosu, A formal foundation for concurrent object oriented programming, Ph.D. Thesis, Technische Universität München, Fakultät für Informatik, 1994.
17. R. Grosu, K. Stølen, M. Broy, A Denotational Model for Mobile Data Flow Networks, to appear.
18. G. Kahn, D. MacQueen, Coroutines and networks of processes, Proc. IFIP World Congress 1977, pp. 993-998.
19. N. Lynch, E. Stark, A proof of the Kahn principle for input/output automata, Inform. and Comput. 82 (1989) 81-92.
20. N.A. Lynch, M.R. Tuttle, Hierarchical correctness proofs for distributed algorithms, in: Proc. 6th ACM Symp. on Principles of Distributed Computing, 1987.
21. R. Milner, J. Parrow, D. Walker, A calculus of mobile processes, part i + ii, Inform. and Comput. 100 (1) (1992) 1-40, 41-77.
22. D. Park, On the semantics of fair parallelism, in: D. Björner (Ed.), Abstract Software Specification. Lecture Notes in Computer Science, vol. 86, Springer, Berlin, 1980, pp. 504-526.
23. D. Park, Fixpoint induction and proofs of program properties, Mach. Intell. 5 (1969) 59-78.
24. D. Park: The "Fairness" problem and nondeterministic computing networks, Proc. 4th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathematisch Centrum, Amsterdam, 1983, pp. 133-161.
25. Specification and Description Language (SDL), Recommendation Z. 100, Technical Report, CCITT, 1988.
26. R. Stephens, A survey of stream processing, Acta Inform. 34 (1997) 491-541.