Mirror, mirror in my hand: A duality between specifications and models of process behaviour

Mathematical Structures in Computer Science

Volumn 6, Issue 4, 1996, Pages 353-373

  Fiadeiro, J L ^a   Costa, J F ^a  

^a UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS; TEMPORAL LOGIC;

ADJUNCTIONS; EXPRESSIVE POWER; INTERCONNECTION TECHNIQUE; PROCESS SPECIFICATION; REACTIVE SYSTEM; SOUND AND COMPLETE; TEMPORAL SPECIFICATION;

MIRRORS;

EID: 0040185328     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129500001067     Document Type: Article

References (22)

1. Abadi, M. and Lamport, L. (1993) Composing Specifications, ACM TOPLAS 15 (1) 73-132.
2. Barringer, H. (1987) The Use of Temporal Logic in the Compositional Specification of Concurrent Systems. In: Galton, A. (ed.) Temporal Logics and their Applications, Academic Press.
3. Chandy, K. M. and Misra, J. (1988) Parallel Program Design - A Foundation, Addison-Wesley.
4. Burstall, R. and Goguen, J. (1977) Putting Theories together to make Specifications. In: Reddy, R. (ed.) Proc Fifth International Joint Conference on Artificial Intelligence 1045-1058.
5. Costa, J. R, Sernadas, A., Sernadas, C. and Enrich, H.-D. (1992) Object Interaction, Mathematical Foundations of Computer Science. Springer- Verlag Lecture Notes in Computer Science 629 200-208.
6. Dionisio, KM. (1991) Um Modelo e Submodelos Categoriais de Processos Concorrentes, M.Sc. Thesis, Department of Mathematics, Faculty of Engineering, Technical University of Lisbon.
7. Ehrich, H.-D., Goguen, J. and Sernadas, A. (1991) A Categorial Theory of Objects as Observed Processes. In: deBakker, J., deRoever, W. and Rozenberg, G. (eds.) Foundations of Object-Oriented Languages. Springer-Verlag Lecture Notes in Computer Science 489 203-228.
8. Fiadeiro, J. and Costa, J. F. (1993) Mirror, Mirror in My Hand: a Topological Adjunction between Temporal Theories and Processes, Research Report, DI-FCUL.
9. Fiadeiro, J. and Costa, J.F. (1995) Institutions for Behaviour Specification. In: Astesiano, E., Reggio, G. and Tarlecki, A. (eds.) Recent Trends in Data Type Specification. Springer-Verlag Lecture Notes in Computer Science 906 273-289.
10. Fiadeiro, J. and Maibaum, T. (1991) Describing, Structuring, and Implementing Objects. In: de-Bakker, J., deRoever, W. and Rozenberg, G. (eds.) Foundations of Object-Oriented Languages. Springer-Verlag Lecture Notes in Computer Science 489 274-310.
11. Fiadeiro, J. and Maibaum, T. (1992) Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing 4 (3) 239-272.
12. Fiadeiro, J., Costa, J. F , Sernadas, A. and Maibaum, T. (1993) Process Semantics of Temporal Logic Specification. In: Bidoit, M. and Choppy, C. (eds.) Proc. 8th Workshop on Data Type Specification, Dourdan, France, August 1991. Springer-Verlag Lecture Notes in Computer Science 655 236-253.
13. Goguen, J. and Burstall, R. (1984) Introducing Institutions. In: Clarke, E. and Kozen, D. (eds.) Proc Logics of Programming Workshop. Springer-Verlag Lecture Notes in Computer Science 164 221-256.
14. Goguen, J. and Ginali, S. (1978) A Categorical Approach to General Systems Theory. In: Klir, G. (ed.) Applied General Systems Research, Plenum 257-270.
15. Goldblatt, R. (1987) Logics of Time and Computation, CSLI.
16. Mac Lane, S. (1971) Categories for the Working Mathematician, Springer-Verlag.
17. Manna, Z. and Pnueli, A. (1991) The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag.
18. Meseguer, J. (1989) General Logics. In: Ebbinghaus, H.-D. et al. (eds.) Logic Colloquium 87, North-Holland.
19. Misra, J. (1984) Reasoning about Networks of Communicating Processes. In: INRIA Advanced Nato Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, Nice, France, Reidel.
20. Pnueli, A. (1977) The Temporal Logic of Programs. In: Proc 18th Annual Symposium on Foundations of Computer Science, IEEE 45-57.
21. Sassone, V., Nielsen, M. and Winskel, G. A. (1993) Classification of Models for Concurrency. In: Best, E. (ed.) CONCUR'93. Springer-Verlag Lecture Notes in Computer Science 715 82-96.
22. Wolper, P. (1989) On the Relation of Programs and Computations to Models of Temporal Logic. In: Banieqbal, B., Barringer, H. and Pnueli, A. (eds.) Temporal Logic in Specification. Springer-Verlag Lecture Notes in Computer Science 398 75-123.