Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk > 2004 > Nr 981 > 1-14
Source
Abstract
Identifiers
journal ISSN : | 0138-0648 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
1. M. A. Bednarczyk and A. M. Borzyszkowski. A note on dualities between coherent orthomodular posets and region spaces, 2004. In preparation.
-
2. L. Bernardinello, C. Ferigato, and L. Pomello. An algebraic model of observable properties in distributed systems. Theoretical Computer Science, vol. 290: pp. 637- 668, 2003.
-
3. A. M. Borzyszkowski and P. Darondeau. Transition systems without transitions. Theoretical Computer Science, 2004. To appear.