Ludwik Czaja

Publication Activity (10 Years)

Years Active: 1978-2021
Publications (10 Years): 10

Top Topics

Sum Product Algorithm

Mutual Exclusion

Information Retrieval And Extraction

Distributed Shared Memory

Top Venues

Fundam. Informaticae

Publications

Ludwik Czaja
Extensions of Elementary Cause-Effect Structures. Fundam. Informaticae 179 (2) (2021)
Ludwik Czaja
Cause-Effect Structures Behaving like Reaction Systems. CS&P (2021)
Ludwik Czaja
Computing with Natural Numbers in Cause-Effect Structures. CS&P (2019)
Ludwik Czaja
Extensions of Elementary Cause-Effect Structures. CS&P (2018)
Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen
Preface. Fundam. Informaticae 157 (4) (2018)
Ludwik Czaja
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. Fundam. Informaticae 157 (4) (2018)
Ludwik Czaja
Remarks on Memory Consistency Description. Fundam. Informaticae 147 (2-3) (2016)
Ludwik Czaja
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. CS&P (2016)
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
Preface. Fundam. Informaticae 143 (1-2) (2016)
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel
Preface. Fundam. Informaticae 147 (2-3) (2016)
Ludwik Czaja
Remarks on Memory Consistency Description. CS&P (2015)
Ludwik Czaja
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. Fundam. Informaticae 129 (1-2) (2014)
Ludwik Czaja
Two Problems with Distributed Systems: Data Access Control and Memory Shering. CS&P (2014)
Ludwik Czaja
Preface. Fundam. Informaticae 129 (1-2) (2014)
Ludwik Czaja
Preface. Fundam. Informaticae 133 (2-3) (2014)
Wojciech Penczek, Ludwik Czaja
Preface. Fundam. Informaticae 135 (4) (2014)
Ludwik Czaja
Floating Channels Between Communicating Nets. Fundam. Informaticae 133 (2-3) (2014)
Ludwik Czaja
Rough Net Structures - Example of Information System. Fundam. Informaticae 127 (1-4) (2013)
Ludwik Czaja
Preface. Fundam. Informaticae 128 (1-2) (2013)
Ludwik Czaja
Equations for Asynchronous Message Passing. Fundam. Informaticae 128 (1-2) (2013)
Ludwik Czaja
Floating Channels Between Communicating Nets. CS&P (2013)
Ludwik Czaja
Exclusive Access to Resources in Distributed Shared Memory Architecture. Fundam. Informaticae 119 (3-4) (2012)
Ludwik Czaja
Equations for Asynchronous Message Passing. CS&P (2012)
Ludwik Czaja
Preface. Fundam. Informaticae 119 (3-4) (2012)
Ludwik Czaja, Manfred Kudlek
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. Fundam. Informaticae 112 (1) (2011)
Ludwik Czaja
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Fundam. Informaticae 109 (3) (2011)
Ludwik Czaja
Preface. Fundam. Informaticae 109 (3) (2011)
Ludwik Czaja, Manfred Kudlek
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. Fundam. Informaticae 101 (1-2) (2010)
Ludwik Czaja
Preface. Fundam. Informaticae 101 (1-2) (2010)
Ludwik Czaja, Manfred Kudlek
Analysis and Synthesis of Net Structures and Transition Graphs. Fundam. Informaticae 93 (1-3) (2009)
Ludwik Czaja
Calculi of net structures and sets are similar. RAIRO Theor. Informatics Appl. 42 (2) (2008)
Ludwik Czaja
Boolean Algebra of Nets, their Synthesis and Analysis. Fundam. Informaticae 85 (1-4) (2008)
Ludwik Czaja
Interpreted Nets. Fundam. Informaticae 79 (3-4) (2007)
Ludwik Czaja
Equations for message passing. Fundam. Informaticae 72 (1-3) (2006)
Ludwik Czaja
An Axiomatic Framework for Proving Correctness of Nets. Fundam. Informaticae 67 (1-3) (2005)
Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj
Preface: Concurrency Specification and Programming. Fundam. Informaticae 67 (1-3) (2005)
Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj
Preface. Fundam. Informaticae 60 (1-4) (2004)
Ludwik Czaja
Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Informaticae 54 (2-3) (2003)
Ludwik Czaja
On the Analysis of Petri Nets and their Synthesis from Process Languages. RAIRO Theor. Informatics Appl. 37 (1) (2003)
Ludwik Czaja
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Fundam. Informaticae 51 (1-2) (2002)
Ludwik Czaja, Manfred Kudlek
w-Process Languages for Place/Transition Nets. Fundam. Informaticae 47 (3-4) (2001)
Ludwik Czaja
Process languages and nets. Theor. Comput. Sci. 238 (1-2) (2000)
Ludwik Czaja, Manfred Kudlek
Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Fundam. Informaticae 43 (1-4) (2000)
Ludwik Czaja
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Fundam. Informaticae 37 (4) (1999)
Ludwik Czaja
Net-Definability of Process Languages. Fundam. Informaticae 37 (3) (1999)
Ludwik Czaja
Minimal-Maximal Time Cause-Effect Structures. Fundam. Informaticae 33 (1) (1998)
Ludwik Czaja
Cause-Effect Structures - Structural and Semantic Properties Revisited. Fundam. Informaticae 33 (1) (1998)
Ludwik Czaja
Process in Cause-Effect Structures. Ershov Memorial Conference (1996)
Ludwik Czaja
Finite Processes in Cause-Effect Structures and Their Composition. Inf. Process. Lett. 31 (6) (1989)
Ludwik Czaja
Cause-Effect Structures. Inf. Process. Lett. 26 (6) (1988)
Ludwik Czaja
Making nets abstract and structures. Applications and Theory in Petri Nets (1985)
Ludwik Czaja
Are infinite behaviors of parallel system schemata necessary?. Logic of Programs (1980)
Ludwik Czaja
Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. Inf. Process. Lett. 10 (4/5) (1980)
Ludwik Czaja
Parallel System Schemas and Their Relation to Automata. Inf. Process. Lett. 10 (3) (1980)
Ludwik Czaja
A Specification of Parallel Problems. Inf. Process. Lett. 8 (4) (1979)
Ludwik Czaja
Parallel Implementation of Path Expressions. Inf. Process. Lett. 7 (6) (1978)
Ludwik Czaja
Implementation Approach to Parallel Systems. Inf. Process. Lett. 7 (5) (1978)