An algebraic model of observable properties in distributed systems

Theoretical Computer Science

Volumn 290, Issue 1, 2003, Pages 637-668

  Bernardinello, Luca ^a   Ferigato, Carlo ^b   Pomello, Lucia ^a  

^a UNIVERSITY OF MILANO BICOCCA   (Italy)

^b Emide Emisfera RandD   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; CONCURRENCY CONTROL; FORMAL LOGIC; PETRI NETS; QUANTUM THEORY;

ORTHOMODULAR POSETS; QUANTUM LOGICS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 0037209764     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(02)00046-4     Document Type: Article

References (17)

1. Badouel E., Darondeau P. Theory of regions. Reisig W., Rozenberg G. Lectures on Petri Nets I: Basic Models, Advances in Petri Nets. Lecture Notes in Computer Science. Vol. 1491:1998;529-586 Springer, Berlin.
2. Bernardinello L. Synthesis of net systems. Ajmone Marsan M. Application and Theory of Petri Nets. Lecture Notes in Computer Science. Vol. 691:1993;89-105 Springer, Berlin.
3. L. Bernardinello, Propriétés algébriques et combinatoires des régions dans les graphes, et leurs application à la synthèse de réseaux, Ph.D. Thesis, Université de Rennes I, 1998.
4. L. Bernardinello, C. Ferigato, Automata and quantum logics, DSI Int. Rep., no. 138-95, abstract in 10th International Congress of Logic, Methodology and Philosophy of Science, Firenze, 1995.
5. Bernardinello L., Pomello L. A category of transition systems and its relations with orthomodular posets. P. Prívara, Ružička I. Mathematical Foundations of Computer Science 1997. Proc., Lecture Notes in Computer Science. Vol. 1295:1997;139-148 Springer, Berlin.
6. L. Bernardinello, C. Ferigato, L. Pomello, Towards modular synthesis of EN systems, in: Ph. Darondeau, L. Lavagno (Eds.), Proc. Workshop on Synthesis of Concurrent Systems, University of Newcastle, June 2001.
7. Ehrenfeucht A., Rozenberg G. Partial (set) 2-structures I & II. Acta Inform. 27(4):1990;315-368.
8. C. Ferigato, Note su alcune proprietà algebriche, logiche e topologiche della concorrenza, Ph.D. Thesis, Università degli Studi di Milano e Torino, 1996.
9. C. Ferigato, Generalised sample spaces and concurrency theory, JRC Technical Note I98-125, Ispra, 1998.
10. Greechie R.J. Orthomodular lattices admitting no states. J. Combin. Theory. 10:1971;119-132.
11. Hughes R.I.G. Semantic alternatives in partial boolean quantum logic. J. Philos. Logic. 14:1985;411-446.
12. Hughes R.I.G. The Structure and Interpretation of Quantum Mechanics. 1989;Harvard University Press, Cambridge, MA.
13. MacLane S. Categories for the Working Mathematician. Graduate Texts in Mathematics. Vol. 5:1971;Springer, Berlin.
14. Nielsen M., Rozenberg G., Thiagarajan P.S. Elementary transition systems. Theoret. Comput. Sci. 96(1):1992;3-33.
15. C.A. Petri, Concepts in net theory, in: Mathematical Foundations of Computer Science '73, Mathematical Institut of Slovak Academy of Sciences, 1973, pp. 137-146.
16. Pták P., Pulmannová S. Orthomodular Structures as Quantum Logics. 1991;Kluwer Academic Publishers, Dordrecht.
17. W. Reisig, G. Rozenberg (Eds.), Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, Lecture Notes in Computer Science, Vol. 1491, Springer, Berlin, 1998.