Implementation Approach to Parallel Systems. - Ludwik Czaja (Inf. Process. Lett., 1978)

Parallel Implementation of Path Expressions. - Ludwik Czaja (Inf. Process. Lett., 1978)

A Specification of Parallel Problems. - Ludwik Czaja (Inf. Process. Lett., 1979)

Are infinite behaviors of parallel system schemata necessary?. - Ludwik Czaja (Logic of Programs, 1980)

Parallel System Schemas and Their Relation to Automata. - Ludwik Czaja (Inf. Process. Lett., 1980)

Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. - Ludwik Czaja (Inf. Process. Lett., 1980)

Making nets abstract and structures. - Ludwik Czaja (Applications and Theory in Petri Nets, 1985)

Cause-Effect Structures. - Ludwik Czaja (Inf. Process. Lett., 1988)

Finite Processes in Cause-Effect Structures and Their Composition. - Ludwik Czaja (Inf. Process. Lett., 1989)

Process in Cause-Effect Structures. - Ludwik Czaja (Ershov Memorial Conference, 1996)

Minimal-Maximal Time Cause-Effect Structures. - Ludwik Czaja (Fundam. Informaticae, 1998)

Cause-Effect Structures - Structural and Semantic Properties Revisited. - Ludwik Czaja (Fundam. Informaticae, 1998)

Net-Definability of Process Languages. - Ludwik Czaja (Fundam. Informaticae, 1999)

Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. - Ludwik Czaja (Fundam. Informaticae, 1999)

Rational, Linear and Algebraic Process Languages and Iteration Lemmata. - Ludwik Czaja; Manfred Kudlek (Fundam. Informaticae, 2000)

Process languages and nets. - Ludwik Czaja (Theor. Comput. Sci., 2000)

w-Process Languages for Place/Transition Nets. - Ludwik Czaja; Manfred Kudlek (Fundam. Informaticae, 2001)

Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. - Ludwik Czaja (Fundam. Informaticae, 2002)

Proving Nets Correct via Cause-Effect Structures (An Experiment). - Ludwik Czaja (Fundam. Informaticae, 2003)

On the Analysis of Petri Nets and their Synthesis from Process Languages. - Ludwik Czaja (RAIRO Theor. Informatics Appl., 2003)

Preface. - Hans-Dieter Burkhard; Gabriela Lindemann; Ludwik Czaja; Zbigniew Suraj (Fundam. Informaticae, 2004)

Preface: Concurrency Specification and Programming. - Hans-Dieter Burkhard; Ludwik Czaja; Gabriela Lindemann; Zbigniew Suraj (Fundam. Informaticae, 2005)

An Axiomatic Framework for Proving Correctness of Nets. - Ludwik Czaja (Fundam. Informaticae, 2005)

Equations for message passing. - Ludwik Czaja (Fundam. Informaticae, 2006)

Interpreted Nets. - Ludwik Czaja (Fundam. Informaticae, 2007)

Boolean Algebra of Nets, their Synthesis and Analysis. - Ludwik Czaja (Fundam. Informaticae, 2008)

Calculi of net structures and sets are similar. - Ludwik Czaja (RAIRO Theor. Informatics Appl., 2008)

Analysis and Synthesis of Net Structures and Transition Graphs. - Ludwik Czaja; Manfred Kudlek (Fundam. Informaticae, 2009)

Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. - Ludwik Czaja; Manfred Kudlek (Fundam. Informaticae, 2010)

Preface. - Ludwik Czaja (Fundam. Informaticae, 2011)

On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. - Ludwik Czaja (Fundam. Informaticae, 2011)

On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. - Ludwik Czaja; Manfred Kudlek (Fundam. Informaticae, 2011)

Exclusive Access to Resources in Distributed Shared Memory Architecture. - Ludwik Czaja (Fundam. Informaticae, 2012)

Rough Net Structures - Example of Information System. - Ludwik Czaja (Fundam. Informaticae, 2013)

Equations for Asynchronous Message Passing. - Ludwik Czaja (Fundam. Informaticae, 2013)

Two Problems with Distributed Systems: Data Access Control and Memory Shering. - Ludwik Czaja (CS&P, 2014)

Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. - Ludwik Czaja (Fundam. Informaticae, 2014)

Floating Channels Between Communicating Nets. - Ludwik Czaja (Fundam. Informaticae, 2014)

Preface. - Wojciech Penczek; Ludwik Czaja (Fundam. Informaticae, 2014)

Remarks on Memory Consistency Description. - Ludwik Czaja (Fundam. Informaticae, 2016)

Preface. - Ludwik Czaja; Wojciech Penczek; Krzysztof Stencel (Fundam. Informaticae, 2016)

Introduction to Distributed Computer Systems - Principles and Features - Ludwik Czaja (Springer, 2018)

A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. - Ludwik Czaja (Fundam. Informaticae, 2018)

Preface. - Ludwik Czaja; Wojciech Penczek; Holger Schlingloff; Hung Son Nguyen (Fundam. Informaticae, 2018)

Cause-Effect Structures - An Algebra of Nets with Examples of Applications - Ludwik Czaja (Springer, 2019)

Computing with Natural Numbers in Cause-Effect Structures. - Ludwik Czaja (CS&P, 2019)

Cause-Effect Structures Behaving like Reaction Systems. - Ludwik Czaja (CS&P, 2021)

Extensions of Elementary Cause-Effect Structures. - Ludwik Czaja (Fundam. Informaticae, 2021)

Cellular Cause-Effect Structures - Ludwik Czaja (Springer, 2024)