Localic sup-lattices and tropological systems

Theoretical Computer Science

Volumn 305, Issue 1-3, 2003, Pages 311-346

  Resende, Pedro ^a   Vickers, Steven ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b OPEN UNIVERSITY   (United Kingdom)

Author keywords

Localic quantale module; Localic sup lattice; Localic tropological system; Process semantics; Quantale; Third completeness

Indexed keywords

ALGEBRA; FAILURE ANALYSIS; SEMANTICS;

QUANTALE;

COMPUTER SCIENCE;

EID: 0042029598     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00702-8     Document Type: Conference Paper

References (18)

1. Abramsky S. A domain equation for bisimulation. Inform. Comput. 92:1991;161-218.
2. Abramsky S., Vickers S.J. Quantales, observational logic and process semantics. Math. Structures Comput. Sci. 3:1993;161-227.
3. Bunge M., Funk J. Constructive theory of the lower powerlocale. Math. Struct. Comput. Sci. 6:1996;69-83.
4. van Glabbeek R.J. The linear time - branching time spectrum. Baeten J.C.M., Klop J.W. Proc. CONCUR'90. Lecture Notes in Computer Science. Vol. 458:1990;278-297 Springer, Berlin.
5. van Glabbeek R.J. The linear time - branching timespectrum II; the semantics of sequential systems with silent moves, Tech. Report, Stanford Univ., 1993. Extended abstract. Best E. Proc. CONCUR'93. Lecture Notes in Computer Science. Vol. 715:1993;66-81 Springer, Berlin.
6. P. Johnstone, Stone Spaces, Cambridge Stud. Adv. Math., Vol. 3, Cambridge University Press, Cambridge, 1982.
7. A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, Mem. Amer. Math. Soc., Vol. 309, American Mathematical Society, Providence, RI, 1984.
8. J. Paseka, J. Rosický, Quantales, in: B. Coecke, D. Moore, A. Wilce (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Fund. Theories Phys., Vol. 111, Kluwer Academic Publishers, Dordrecht, 2000, pp. 245-262.
9. P. Resende, Quantales and observational semantics, in: B. Coecke, D. Moore, A. Wilce (Eds.), Current Research in Operational Quantum Logic: Algebras, Categories and Languages, Fund. Theories Phys., Vol. 111, Kluwer Academic Publishers, Dordrecht, 2000, pp. 263-288.
10. Resende P. Tropological systems are points of quantales. J. Pure Appl. Algeb. 173:2002;87-120.
11. Resende P. Quantales, finite observations and strong bisimulation. Theoret. Comput. Sci. 254:2001;95-149.
12. Rosenthal K. Quantales and Their Applications. Pitman Res. Notes Math. Ser. Vol. 234:1990;Longman, Harlow.
13. Rosenthal K. The Theory of Quantaloids. Pitman Res. Notes Math. Ser. Vol. 348:1996;Longman, Harlow.
14. Sambin G. Intuitionistic formal spaces: a first communication. Skordev D. Mathematical Logic and its Applications. 1987;187-204 Plenum.
15. S.J. Vickers, Topology via Logic, Cambridge Tracts Theoret. Comput. Sci., Cambridge University Press, Cambridge, 1989 (revised edition).
16. Vickers S.J. Constructive points of powerlocales. Math. Proc. Cambridge Philos. Soc. 122:1997;207-222.
17. Vickers S.J. Topical categories of domains. Math. Struct. Comput. Sci. 9:1999;569-616.
18. Vickers S.J. Locales are not pointless. Hankin C.L., Mackie I.C., Nagarajan R. Theory and Formal Methods of Computing 1994: Proc. Second Imperial College Department of Computing Workshop on Theory and Formal Methods. 1994;199-216 Imperial College Press, London.