1. Janicki, R., Kleijn, J., Koutny, M., & Mikulski, Ł. (2013). Causal structures for general concurrent behaviours. In CS&P CEUR Workshop Proceedings (Vol. 1032, pp. 193–205). CEUR-WS.org.
2. Gaifman, H., & Pratt, V. R. (1987). Partial order models of concurrency and the computation of functions. In Logic in Computer Science (LICS’87), Symposium, Ithaca, New York, USA, June 22–25, 1987, Proceedings (pp. 72–85). IEEE Computer Society.
3. Janicki, R., & Koutny, M. (1993). Structure of concurrency. Theoretical Computer Science, 112(1), 5–52.
4. Lamport, L. (1986). The mutual exclusion problem: Part I—A theory of interprocess communication. Journal of ACM, 33(2), 313–326.
5. Janicki, R., & Koutny, M. (1991). Invariants and paradigms of concurrency theory. In E. H. L. Aarts, J. van Leeuwen, & M. Rem (Eds.), PARLE’91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10–13, 1991, Proceedings (pp. 59–74). Lecture Notes in Computer Science (Vol. 506). Springer.