An algebraic model of observable properties in distributed systems-Reference-Cited by-同舟云学术

An algebraic model of observable properties in distributed systems

Published:2003-01 Issue:1 Volume:290 Page:637-668
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Bernardinello Luca,Ferigato Carlo,Pomello Lucia

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference17 articles.

1. Theory of regions;Badouel,1998

2. Synthesis of net systems;Bernardinello,1993

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. A category of transition systems and its relations with orthomodular posets;Bernardinello,1997

Cited by 14 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Topics in Region Theory and Synthesis Problems;Application and Theory of Petri Nets and Concurrency;2021

2. Stability of Regional Orthomodular Posets Under Synchronisation and Refinement;Transactions on Petri Nets and Other Models of Concurrency XV;2021

3. Logic and Algebra in Unfolded Petri Nets: on a Duality Between Concurrency and Causal Dependence;Fundamenta Informaticae;2019-10-23

4. A generalized modal logic in causal structures;Theoretical Computer Science;2019-05

5. Regular Orthomodular Posets;Fundamenta Informaticae;2019-03-14