Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ludwik Czaja
2010 – today
- 2013
[c5]- [e2]Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak (Eds.): Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013
- 2012
- [j32]
- [j31]Ludwik Czaja: Exclusive Access to Resources in Distributed Shared Memory Architecture. Fundam. Inform. 119(3-4): 265-280 (2012)
- [c4]
- 2011
- [j30]
- [j29]Ludwik Czaja: On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Fundam. Inform. 109(3): 255-264 (2011)
- [j28]Ludwik Czaja, Manfred Kudlek: On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. Fundam. Inform. 112(1): 39-45 (2011)
- 2010
- [j27]
- [j26]Ludwik Czaja, Manfred Kudlek: Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. Fundam. Inform. 101(1-2): 1-7 (2010)
2000 – 2009
- 2009
- [j25]Ludwik Czaja, Manfred Kudlek: Analysis and Synthesis of Net Structures and Transition Graphs. Fundam. Inform. 93(1-3): 97-110 (2009)
- 2008
- [j24]Ludwik Czaja: Boolean Algebra of Nets, their Synthesis and Analysis. Fundam. Inform. 85(1-4): 89-95 (2008)
- [j23]
- 2007
- [j22]
- 2006
- [j21]
- 2005
- [j20]Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj: Preface: Concurrency Specification and Programming. Fundam. Inform. 67(1-3) (2005)
- [j19]Ludwik Czaja: An Axiomatic Framework for Proving Correctness of Nets. Fundam. Inform. 67(1-3): 45-64 (2005)
- 2004
- [j18]Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj: Preface. Fundam. Inform. 60(1-4) (2004)
- 2003
- [j17]Ludwik Czaja: Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Inform. 54(2-3): 165-183 (2003)
- [j16]Ludwik Czaja: On the Analysis of Petri Nets and their Synthesis from Process Languages. ITA 37(1): 17-38 (2003)
- 2002
- [j15]Ludwik Czaja: Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Fundam. Inform. 51(1-2): 43-58 (2002)
- 2001
- [j14]Ludwik Czaja, Manfred Kudlek: w-Process Languages for Place/Transition Nets. Fundam. Inform. 47(3-4): 217-229 (2001)
- 2000
- [j13]Ludwik Czaja, Manfred Kudlek: Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Fundam. Inform. 43(1-4): 49-60 (2000)
- [j12]
1990 – 1999
- 1999
- [j11]
- [j10]Ludwik Czaja: Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Fundam. Inform. 37(4): 343-368 (1999)
- 1998
- [j9]
- [j8]Ludwik Czaja: Cause-Effect Structures - Structural and Semantic Properties Revisited. Fundam. Inform. 33(1): 17-42 (1998)
- 1997
- [e1]Bogdan S. Chlebus, Ludwik Czaja (Eds.): Fundamentals of Computation Theory, 11th International Symposium, FCT '97, Kraków, Poland, September 1-3, 1997, Proceedings. Lecture Notes in Computer Science 1279, Springer 1997, ISBN 3-540-63386-3
- 1996
- [c3]
1980 – 1989
- 1989
- [j7]Ludwik Czaja: Finite Processes in Cause-Effect Structures and Their Composition. Inf. Process. Lett. 31(6): 305-310 (1989)
- 1988
- [j6]
- 1985
- [c2]Ludwik Czaja: Making nets abstract and structures. Applications and Theory in Petri Nets 1985: 181-202
- 1980
- [j5]Ludwik Czaja: Parallel System Schemas and Their Relation to Automata. Inf. Process. Lett. 10(3): 153-158 (1980)
- [j4]Ludwik Czaja: Deadlock and Fairness in Parallel Schemas: A Set-Theoretic Characterization and Decision Problems. Inf. Process. Lett. 10(4/5): 234-239 (1980)
- [c1]Ludwik Czaja: Are infinite behaviors of parallel system schemata necessary?. Logic of Programs 1980: 108-117
1970 – 1979
- 1979
- [j3]
- 1978
- [j2]
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:17 CEST by the dblp team