ask others

Ludwik Czaja

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja18
Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. Fundam. Inform. 157(4): 359-370 (2018)
[j44]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaPSS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaPSS18
Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Nguyen Hung Son:
Preface. Fundam. Inform. 157(4): i-ii (2018)
[c9]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja18
Ludwik Czaja:
Extensions of Elementary Cause-Effect Structures. CS&P 2018
2016
[j43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaPS16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaPS16
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel:
Preface. Fundam. Inform. 143(1-2): v-vi (2016)
[j42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja16
Ludwik Czaja:
Remarks on Memory Consistency Description. Fundam. Inform. 147(2-3): 209-221 (2016)
[j41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaPS16a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaPS16a
Ludwik Czaja, Wojciech Penczek, Krzysztof Stencel:
Preface. Fundam. Inform. 147(2-3): i-iii (2016)
[c8]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja16
Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. CS&P 2016: 274-285
2015
[c7]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja15
Ludwik Czaja:
Remarks on Memory Consistency Description. CS&P 2015: 103-114
[e3]
- view
- export record
  dblp key:
  - conf/csp/2015
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/2015
Zbigniew Suraj, Ludwik Czaja:
Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. CEUR Workshop Proceedings 1492, CEUR-WS.org 2015 [contents]
2014
[j40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja14
Ludwik Czaja:
Preface. Fundam. Inform. 129(1-2) (2014)
[j39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja14a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja14a
Ludwik Czaja:
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. Fundam. Inform. 129(1-2): 27-36 (2014)
[j38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja14b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja14b
Ludwik Czaja:
Floating Channels Between Communicating Nets. Fundam. Inform. 133(2-3): 123-132 (2014)
[j37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja14c
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja14c
Ludwik Czaja:
Preface. Fundam. Inform. 133(2-3): i (2014)
[j36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/PenczekC14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/PenczekC14
Wojciech Penczek, Ludwik Czaja:
Preface. Fundam. Inform. 135(4): i (2014)
[c6]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja14
Ludwik Czaja:
Two Problems with Distributed Systems: Data Access Control and Memory Shering. CS&P 2014: 311-319
2013
[j35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja13
Ludwik Czaja:
Rough Net Structures - Example of Information System. Fundam. Inform. 127(1-4): 81-97 (2013)
[j34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja13a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja13a
Ludwik Czaja:
Preface. Fundam. Inform. 128(1-2) (2013)
[j33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja13b
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja13b
Ludwik Czaja:
Equations for Asynchronous Message Passing. Fundam. Inform. 128(1-2): 35-45 (2013)
[c5]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja13
Ludwik Czaja:
Floating Channels Between Communicating Nets. CS&P 2013: 88-98
[e2]
- view
- export record
  dblp key:
  - conf/csp/2013
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/2013
Marcin S. Szczuka, Ludwik Czaja, Magdalena Kacprzak:
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland. CEUR Workshop Proceedings 1032, CEUR-WS.org 2013 [contents]
2012
[j32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja12
Ludwik Czaja:
Preface. Fundam. Inform. 119(3-4) (2012)
[j31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja12a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja12a
Ludwik Czaja:
Exclusive Access to Resources in Distributed Shared Memory Architecture. Fundam. Inform. 119(3-4): 265-280 (2012)
[c4]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/csp/Czaja12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csp/Czaja12
Ludwik Czaja:
Equations for Asynchronous Message Passing. CS&P 2012: 61-72
2011
[j30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja11
Ludwik Czaja:
Preface. Fundam. Inform. 109(3) (2011)
[j29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja11a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja11a
Ludwik Czaja:
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Fundam. Inform. 109(3): 255-264 (2011)
[j28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaK11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaK11
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja10
Ludwik Czaja:
Preface. Fundam. Inform. 101(1-2) (2010)
[j26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaK10
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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaK09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaK09
Ludwik Czaja, Manfred Kudlek:
Analysis and Synthesis of Net Structures and Transition Graphs. Fundam. Inform. 93(1-3): 97-110 (2009)
2008
[j24]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja08
Ludwik Czaja:
Boolean Algebra of Nets, their Synthesis and Analysis. Fundam. Inform. 85(1-4): 89-95 (2008)
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/Czaja08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Czaja08
Ludwik Czaja:
Calculi of net structures and sets are similar. ITA 42(2): 271-284 (2008)
2007
[j22]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja07
Ludwik Czaja:
Interpreted Nets. Fundam. Inform. 79(3-4): 283-293 (2007)
2006
[j21]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja06
Ludwik Czaja:
Equations for message passing. Fundam. Inform. 72(1-3): 81-93 (2006)
2005
[j20]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/BurkhardCLS05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/BurkhardCLS05
Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj:
Preface: Concurrency Specification and Programming. Fundam. Inform. 67(1-3) (2005)
[j19]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja05
Ludwik Czaja:
An Axiomatic Framework for Proving Correctness of Nets. Fundam. Inform. 67(1-3): 45-64 (2005)
2004
[j18]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/BurkhardLCS04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/BurkhardLCS04
Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj:
Preface. Fundam. Inform. 60(1-4) (2004)
2003
[j17]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja03
Ludwik Czaja:
Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Inform. 54(2-3): 165-183 (2003)
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ita/Czaja03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ita/Czaja03
Ludwik Czaja:
On the Analysis of Petri Nets and their Synthesis from Process Languages. ITA 37(1): 17-38 (2003)
2002
[j15]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/Czaja02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja02
Ludwik Czaja:
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Fundam. Inform. 51(1-2): 43-58 (2002)
2001
[j14]
- view
  - electronic edition @ iospress.com
- export record
  dblp key:
  - journals/fuin/CzajaK01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaK01
Ludwik Czaja, Manfred Kudlek:
w-Process Languages for Place/Transition Nets. Fundam. Inform. 47(3-4): 217-229 (2001)
2000
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/CzajaK00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/CzajaK00
Ludwik Czaja, Manfred Kudlek:
Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Fundam. Inform. 43(1-4): 49-60 (2000)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/Czaja00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/Czaja00
Ludwik Czaja:
Process languages and nets. Theor. Comput. Sci. 238(1-2): 161-181 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja99
Ludwik Czaja:
Net-Definability of Process Languages. Fundam. Inform. 37(3): 213-223 (1999)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja99a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja99a
Ludwik Czaja:
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Fundam. Inform. 37(4): 343-368 (1999)
1998
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja98
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja98
Ludwik Czaja:
Minimal-Maximal Time Cause-Effect Structures. Fundam. Inform. 33(1): 1-16 (1998)
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/Czaja98a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/Czaja98a
Ludwik Czaja:
Cause-Effect Structures - Structural and Semantic Properties Revisited. Fundam. Inform. 33(1): 17-42 (1998)
1997
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fct/1997
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fct/1997
Bogdan S. Chlebus, Ludwik Czaja:
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 [contents]
1996
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ershov/Czaja96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ershov/Czaja96
Ludwik Czaja:
Process in Cause-Effect Structures. Ershov Memorial Conference 1996: 146-165

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1989
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja89
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja89
Ludwik Czaja:
Finite Processes in Cause-Effect Structures and Their Composition. Inf. Process. Lett. 31(6): 305-310 (1989)
1988
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja88
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja88
Ludwik Czaja:
Cause-Effect Structures. Inf. Process. Lett. 26(6): 313-319 (1988)
1985
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/apn/Czaja85
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/apn/Czaja85
Ludwik Czaja:
Making nets abstract and structures. Applications and Theory in Petri Nets 1985: 181-202
1980
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja80
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja80
Ludwik Czaja:
Parallel System Schemas and Their Relation to Automata. Inf. Process. Lett. 10(3): 153-158 (1980)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja80a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja80a
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lop/Czaja80
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lop/Czaja80
Ludwik Czaja:
Are infinite behaviors of parallel system schemata necessary?. Logic of Programs 1980: 108-117

1970 – 1979

see FAQ

What is the meaning of the colors in the publication lists?

1979
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja79
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja79
Ludwik Czaja:
A Specification of Parallel Problems. Inf. Process. Lett. 8(4): 162-167 (1979)
1978
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja78
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja78
Ludwik Czaja:
Implementation Approach to Parallel Systems. Inf. Process. Lett. 7(5): 244-249 (1978)
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ipl/Czaja78a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ipl/Czaja78a
Ludwik Czaja:
Parallel Implementation of Path Expressions. Inf. Process. Lett. 7(6): 291-295 (1978)

Coauthor Index

see FAQ

maintained by

, founded at