Refining interval temporal logic specifications

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

Volumn 1231, Issue , 1997, Pages 79-94

  Cau, Antonio ^a   Zedan, Hussein ^a  

^a DE MONTFORT UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; CONCRETE MIXTURES; CONCRETES; INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; RECONFIGURABLE HARDWARE; SPECIFICATIONS;

ABSTRACT SPECIFICATIONS; DEVELOPMENT TECHNIQUE; EXPLICIT COMMUNICATION; INTERVAL TEMPORAL LOGIC; LARGE-SCALE APPLICATIONS; REFINEMENT CALCULI; SPECIFICATION AND VERIFICATION; SYSTEM SPECIFICATION;

TEMPORAL LOGIC;

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

References (11)

1. R.J.R. Back. A calculus of refinements for program derivations. Acta Informatica, 25:593-624, 1988
2. A. Can, H. Zedan, N. Coleman and B. Moszkowski. Using ITL and Tempura for Large Scale Specification and Simulation, in proc. of fourth euromicro workshop on parallel and distributed processing, IEEE, 1996, Braga, Portugal, 493-500.
3. A. Can and B. Moszkowski: Using PVS for Interval Temporal Logic Proofs, Part 1: The Syntactic and Semantic Encoding. Technical Report, 1996.
4. J. He. A dual-time model for communicating sequential processes. Unpublished manuscript.
5. R. Milner. A calculus for communicating processes. LNCS 92, 1983.
6. C. Morgan. Programming from specifications. Prentice-Hall International, 1990.
7. B. Moszkowsld: A Temporal Logic for Multilevel Reasoning About Hardware. IEEE Computer 1985;18:10-19.
8. B. Moszkowsld: Executing Temporal Logic Programs. Cambridge Univ. Press, Cambridge, UK, 1986.
9. B. Moszkowsld. Some very compositional temporal properties, in: Programming Concepts, Methods and Calculi, Ernst-Rfidiger Olderog (ed.), IFIP Transactions, Vol. A-56, North-Holland, 1994, 307-326.
10. X. Nicolin, J. Richier, J. Sifakis and J. Voiron. ATP: an algebra for timed processes. In Programming Concepts and Methods, M. Broy and C.B. Jones (eds), pp. 414-443, 1990.
11. D. Scholefield, H. Zedan and J. He. A specification oriented semantics for the refinement of real-time systems. Theoretical Computer Science, 130, August 1994.