Refinement of time

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

Volumn 1231, Issue , 1997, Pages 44-63

  Broy, Manfred ^a  

^a Institut für Informatik   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTINUOUS TIME SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; TIME SHARING SYSTEMS;

CONTINUOUS-TIME; INPUT AND OUTPUTS; REFINEMENT STEP; SYSTEM DEVELOPMENT PROCESS; SYSTEM MODELING; TIMED SYSTEMS; TIMING MODELING;

REAL TIME SYSTEMS;

EID: 84958769448     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63010-4_4     Document Type: Conference Paper

References (14)

1. R. Aim-, D. Dill: A theory of timed automata. Theoretical Computer Science 126, 1994, 183-235
2. R. Aim', C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, S. Yovine: Agorithmic analysis of hybrid systems. Theoretical Computer Science 138, 1995, 3-34
3. J.C.M. Baeten, J.A. Bergstra: Real Time Process Algebra. Formal Aspects of Computing 3, 1991, 142-188
4. M. Broy: Applicative real lime programming. In: Information Processing 83, IFIP World Congress, Paris 1983, North Holland Publ. Company 1983, 259-264
5. M. Broy: Functional Specification of Time Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2:1, Januar 1993, 1-46
6. M. Broy, K. StOlen: Specification and Refinement of Finite Dataflow Networks – a Relational Approach. In: Langmaack, H. and de Roever, W.-P. and Vytopil, J. (eds): Proc. FrRTPT'94, Lecture Notes in Computer Science 863, 1994, 247-267
7. N. Lynch, E. Stark: A proof of the Kahn principle for input/output automata. Information and Computation 82, 1989, 81-92
8. N. A. Lynch, M. R. Tuttle: Hierarchical correcmess proofs for distributed algorithms. In: Proceedings of the Sixth ACM Symposium on Principles of Distributed Computing, 1987
9. N. Lynch, F. Vaandrager. Action Transducers and Time Autmaat: Formal Aspects of Computing 8, 1996, 499-538
10. N. Lynch, F. Vaandrager: Forward and Backward Simulations, Part II: Timing-Based Systems. Information and Computation 128:1, 1996
11. O. Mtiller, P. Scholz: Functional Specification of Real-Time and Hybrid Systems. In HART'97, Proc. 1st Int. Workshop on Hybrid and Real-Time Systems, to appear in LNCS, 1997
12. D. Park: On the semantics of fair parallelism. In: D. Bjömer (ed.): Abstract Software Specification. Lecture Notes in Computer Science 86, Berlin-Heidelberg-New York: Springer 1980, 504-526
13. th Foundations of Computer Science, Mathematical Centre Tracts 159, Mathemadsch Centrum Amsterdam, (1983) 133-161
14. P. Pannangaden, V. Shanbhogue: The expressive power of indeterminate dataflow primitives. Information and Computation 98, 1992, 99-131