Algebraic specification of reactive systems

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

Volumn 1101, Issue , 1996, Pages 487-503

  Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING; SPECIFICATIONS;

ALGEBRAIC SPECIFICATIONS; DETERMINISTIC COMPONENT; DISTRIBUTED SYSTEMS; MATHEMATICAL SYSTEM MODEL; REACTIVE PROGRAMS; STATE TRANSITION DIAGRAMS; STREAM PROCESSING; SYSTEM SPECIFICATION;

ALGEBRA;

EID: 21344432089     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014335     Document Type: Conference Paper

References (21)

1. M. Broy: Applicative Real Time Programming. In: Information Processing 83, IFIP World Congress, Paris 1983, North Holland Publ. Company 1983, 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 186, Springer 1985, 4-28, Revised version in JCSS 34:2/3, 1987, 236-264
3. 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: Theoretical Computer Science 45 (1986) 1-61
4. M. Broy: Semantics of Finite or Infinite Networks of Communicating Agents. Distributed Computing 2 (1987), 13-31
5. M. Broy: Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25 (1987) 93-101
6. M. Broy: Functional Specification of Time Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2:1, Januar 1993, 1-46
7. 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 906, Springer 1995, 170-187
8. M. Broy: The Specification of System Components by State Transition Diagrams. Technical Memo 1996
9. M. Broy, G. Stefanescu: Algebra of Stream Processing Functions. Forthcoming paper
10. M. Broy, K. Stølen: Specification and Refinement of Finite Dataflow Networks - a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FTRTFT'94, Lecture Notes in Computer Science 863, 1994, 247-267
11. 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
12. M. Broy, M. Fuchs, T. F. Gritzner, B. Schätz, K Spies, K Stølen: 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
13. R. Grosu: A Formal Foundation for Concurrent Object Oriented Programming. Ph. D. Thesis, Technische Universität München, Fakultät für Informatik, 1994
14. R. Grosu, K. Stølen, M. Broy: A Denotational Model for Mobile Data Flow Networks. To appear
15. G. Kahn, D. MacQueen: Coroutines and Networks of Processes, Proc. IFIP World Congress 1977, 993-998
16. N. Lynch, E. Stark: A Proof of the Kahn Principle for Input/Output Automata. Information and Computation 82, 1989, 81-92
17. N. A. Lynch, M. R. Turtle: Hierarchical Correctness Proofs for Distributed Algorithms. In: Proceedings of the Sixth ACM Symposium on Principles of Distributed Computing, 1987
18. R. Milner, J. Parrow, D. Walker: A Calculus of Mobile Processes. Part i + ii, Information and Computation, 100:1 (1992) 1-40, 41-77
19. D. Park: On the Semantics of Fair Parallelism. In: D. Björner (ed.): Abstract Software Specification. Lecture Notes in Computer Science 86, Berlin-Heidelberg-New York: Springer 1980, 504-526
20. D. Park: The "Fairness" Problem and Nondeterministic Computing Networks. Proc. 4th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathematisch Centrum Amsterdam, (1983) 133-161
21. Specification and Description Language (SDL), Recommendation Z. 100. Technical Report, CCITT 1988