Ludwik Czaja

According to our database, Ludwik Czaja authored at least 48 papers between 1978 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Extensions of Elementary Cause-Effect Structures.

Ludwik Czaja

Fundam. Informaticae, 2021

Cause-Effect Structures Behaving like Reaction Systems.

Ludwik Czaja

Proceedings of the 29th International Workshop on Concurrency, 2021

2019

Computing with Natural Numbers in Cause-Effect Structures.

Ludwik Czaja

Proceedings of the 28th International Workshop on Concurrency, 2019

Cause-Effect Structures - An Algebra of Nets with Examples of Applications

Ludwik Czaja

45, Springer, ISBN: 978-3-030-20460-0, 2019

2018

Preface.

Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Hung Son Nguyen

Fundam. Informaticae, 2018

A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps.

Ludwik Czaja

Fundam. Informaticae, 2018

Introduction to Distributed Computer Systems - Principles and Features

Ludwik Czaja

27, Springer, ISBN: 978-3-319-72022-7, 2018

2016

Preface.

Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel

Fundam. Informaticae, 2016

Remarks on Memory Consistency Description.

Ludwik Czaja

Fundam. Informaticae, 2016

2014

Preface.

Wojciech Penczek, Ludwik Czaja

Fundam. Informaticae, 2014

Preface.

Ludwik Czaja

Fundam. Informaticae, 2014

Floating Channels Between Communicating Nets.

Ludwik Czaja

Fundam. Informaticae, 2014

Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication.

Ludwik Czaja

Fundam. Informaticae, 2014

Two Problems with Distributed Systems: Data Access Control and Memory Shering.

Ludwik Czaja

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

2013

Equations for Asynchronous Message Passing.

Ludwik Czaja

Fundam. Informaticae, 2013

Rough Net Structures - Example of Information System.

Ludwik Czaja

Fundam. Informaticae, 2013

2012

Exclusive Access to Resources in Distributed Shared Memory Architecture.

Ludwik Czaja

Fundam. Informaticae, 2012

2011

On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs.

Ludwik Czaja, Manfred Kudlek

Fundam. Informaticae, 2011

On Deadlock and Fairness Decision Problems for Computations on Client-server Systems.

Ludwik Czaja

Fundam. Informaticae, 2011

2010

Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations.

Ludwik Czaja, Manfred Kudlek

Fundam. Informaticae, 2010

2009

Analysis and Synthesis of Net Structures and Transition Graphs.

Ludwik Czaja, Manfred Kudlek

Fundam. Informaticae, 2009

2008

Calculi of net structures and sets are similar.

Ludwik Czaja

RAIRO Theor. Informatics Appl., 2008

Boolean Algebra of Nets, their Synthesis and Analysis.

Ludwik Czaja

Fundam. Informaticae, 2008

2007

Interpreted Nets.

Ludwik Czaja

Fundam. Informaticae, 2007

2006

Equations for message passing.

Ludwik Czaja

Fundam. Informaticae, 2006

2005

An Axiomatic Framework for Proving Correctness of Nets.

Ludwik Czaja

Fundam. Informaticae, 2005

Preface: Concurrency Specification and Programming.

Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj

Fundam. Informaticae, 2005

2004

Preface.

Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj

Fundam. Informaticae, 2004

2003

On the Analysis of Petri Nets and their Synthesis from Process Languages.

Ludwik Czaja

RAIRO Theor. Informatics Appl., 2003

Proving Nets Correct via Cause-Effect Structures (An Experiment).

Ludwik Czaja

Fundam. Informaticae, 2003

2002

Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis.

Ludwik Czaja

Fundam. Informaticae, 2002

2001

w-Process Languages for Place/Transition Nets.

Ludwik Czaja, Manfred Kudlek

Fundam. Informaticae, 2001

2000

Process languages and nets.

Ludwik Czaja

Theor. Comput. Sci., 2000

Rational, Linear and Algebraic Process Languages and Iteration Lemmata.

Ludwik Czaja, Manfred Kudlek

Fundam. Informaticae, 2000

1999

Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures.

Ludwik Czaja

Fundam. Informaticae, 1999

Net-Definability of Process Languages.

Ludwik Czaja

Fundam. Informaticae, 1999

1998

Cause-Effect Structures - Structural and Semantic Properties Revisited.

Ludwik Czaja

Fundam. Informaticae, 1998

Minimal-Maximal Time Cause-Effect Structures.

Ludwik Czaja

Fundam. Informaticae, 1998

1996

Process in Cause-Effect Structures.

Ludwik Czaja

Proceedings of the Perspectives of System Informatics, 1996

1989

Finite Processes in Cause-Effect Structures and Their Composition.

Ludwik Czaja

Inf. Process. Lett., 1989

1988

Cause-Effect Structures.

Ludwik Czaja

Inf. Process. Lett., 1988

1985

Making nets abstract and structures.

Ludwik Czaja

Proceedings of the Advances in Petri Nets 1985, 1985

1980

Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems.

Ludwik Czaja

Inf. Process. Lett., 1980

Parallel System Schemas and Their Relation to Automata.

Ludwik Czaja

Inf. Process. Lett., 1980

Are infinite behaviors of parallel system schemata necessary?.

Ludwik Czaja

Proceedings of the Logics of Programs and Their Applications, 1980

1979

A Specification of Parallel Problems.

Ludwik Czaja

Inf. Process. Lett., 1979

1978

Parallel Implementation of Path Expressions.

Ludwik Czaja

Inf. Process. Lett., 1978

Implementation Approach to Parallel Systems.

Ludwik Czaja

Inf. Process. Lett., 1978