Pedro Resende  Home/Search
Context Related
| bebop.math.ist.utl.pt/~pmr/pre...qos.ps cs.math.ist.utl.pt/ftp/pu...00Rqos.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: bebop.math.ist.utl.pt/~pmr/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We illustrate the idea that quantale can be regarded as algebras of experimental observations on physical systems, and we... (Update)
Context of citations to this paper: More
.... computing context then we nd, as unique extension lemmas, that P can be made into a tropological system with Q and L in a unique way [12, 10]. This then leads to a preorder on the elements of P , p v q if, for every x 2 L, if p x then q x. The rst completeness results...
.... system found in computer science, namely in concurrency theory; the de nition of such dynamical systems uses quantales in a natural way [1, 29, 27], and our intention is to relate these rather di erent applications of quantales. More precisely, we will see that the examples in...
Cited by: More
Epistemic Actions as Resources - Baltag, Coecke, Sadrzadeh (Correct)
Algebra and Sequent Calculus for Epistemic Actions - Baltag, Coecke, Sadrzadeh (Correct)
Tropological Systems Are Points of Quantales - Resende (2001) (Correct)
Active bibliography (related documents): More All
0.7: Quantales, Concurrent Observations and Event Structures - Resende (1999) (Correct)
0.5: Operational Quantum Logic: An Overview - Coecke, Moore, Wilce (2000) (Correct)
0.4: Operational Galois Adjunctions - Coecke, Moore (2000) (Correct)
Similar documents based on text: More All
1.1: Sup-Lattice 2-Forms and Quantales - Resende (2002) (Correct)
0.8: Equality In Linear Logic - Coniglio, Miraglia (1996) (Correct)
0.6: Modules in the Category of Sheaves Over Quantales - Coniglio, Miraglia (Correct)
Related documents from co-citation: More All
4: An extension of the Galois theory of Grothendieck (context) - Joyal, Tierney - 1984
4: Mathematical Structures in Computer Science (context) - Abramsky, Vickers et al. - 1993
3: Theoretical Computer Science (context) - Resende - 2000
BibTeX entry: (Update)
Resende, P. (2000) Quantales and observational semantics, in B. Coecke, D.J. Moore and A. Wilce (eds.) Current Research in Operational Quantum Logic: Algebras Categories, Languages, Kluwer Academic Publishers. http://citeseer.ist.psu.edu/resende00quantale.html More
@incollection{ resende00quantales,
author = "P. Resende",
title = "Quantales and observational semantics",
booktitle = "Current Research in Operational Quantum Logic: Algebras, Categories and Languages",
volume = "111",
publisher = "Kluwer Academic Publishers",
editor = "B. Coecke and D. Moore and A. Wilce",
pages = "263--288",
year = "2000",
url = "citeseer.ist.psu.edu/resende00quantale.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
346 Denotational Semantics: The Scott-Strachey Approach to Progr.. (context) - Stoy - 1977
242 Linear logic (context) - Girard - 1987
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
144 Models for concurrency - Winskel, Nielsen - 1995
131 Modeling concurrency with partial orders (context) - Pratt - 1986
95 The linear time { branching time spectrum (context) - van Glabbeek - 1990
83 Powerdomains and predicate transformers: a topological view (context) - Smyth - 1983
75 Domain theory in logical form (context) - Abramsky - 1991
73 Topology Via Logic (context) - Vickers - 1989
67 Linear and branching structures in the semantics and logics .. (context) - Pnueli - 1985
61 The fusion calculus: expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998
36 Foundations of Quantum Physics (context) - Piron - 1976
36 Process Algebra (context) - Baeten, Weijland - 1990
35 Stone Spaces (context) - Johnstone - 1982
35 Domain Theory and the Logic of Observable Properties (context) - Abramsky - 1987
32 An Extension of the Galois Theory of Grothendieck (context) - Joyal, Tierney - 1984
32 Petri nets as models of linear logic - Engberg, Winskel - 1990
26 Completeness results for linear logic on Petri nets - Engberg, Winskel - 1993
24 Communicating and Mobile Systems: the -calculus (context) - Milner - 1999
24 Mathematical Structures in Computer Science (context) - Abramsky, Vickers - 1993
21 Quantales and Their Applications (context) - Rosenthal - 1990
9 On state spaces and property lattices (context) - Moore - 1999
7 Equivalence notions for concurrent systems and renement of a.. (context) - van Glabbeek, Goltz - 1989
7 Duality of quantales emerging from an operational resolution - Coecke, Stubbe
6 Operational resolutions and state transitions in a categoric.. - Coecke, Stubbe
5 Quantales and (context) - Yetter - 1990
5 the quantisation of points (context) - Mulvey, Pelletier - 2000
5 Supplemento ai Rendiconti del Circolo Matematico di Palermo (context) - Mulvey - 1986
5 The linear time { branching time spectrum II; the semantics .. (context) - van Glabbeek - 1993
4 Modular specication of concurrent systems with observational.. - Resende
3 Toposes pour les vraiment nuls - Vickers - 1996
2 How quantales emerge by introducing induction in the operati.. (context) - Amira, Coecke et al. - 1998
2 concurrent observations and event structures (context) - Resende
1 The spectral theory of commutative C*-algebras (context) - Banaschewski, Mulvey - 2000
1 and Stubbe (context) - Borceux - 2000
1 and Rosicky (context) - Paseka - 2000
Documents on the same site (http://bebop.math.ist.utl.pt/~pmr/):
Tropological Systems Are Points of Quantales - Resende (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC