default search action
Ludwik Czaja
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [b3]Ludwik Czaja:
Cellular Cause-Effect Structures. Springer 2024, ISBN 978-3-031-55589-3, pp. 1-114 - 2021
- [j46]Ludwik Czaja:
Extensions of Elementary Cause-Effect Structures. Fundam. Informaticae 179(2): 93-111 (2021) - [c11]Ludwik Czaja:
Cause-Effect Structures Behaving like Reaction Systems. CS&P 2021: 31-45
2010 – 2019
- 2019
- [b2]Ludwik Czaja:
Cause-Effect Structures - An Algebra of Nets with Examples of Applications. Springer 2019, ISBN 978-3-030-20460-0, pp. 1-136 - [c10]Ludwik Czaja:
Computing with Natural Numbers in Cause-Effect Structures. CS&P 2019 - 2018
- [b1]Ludwik Czaja:
Introduction to Distributed Computer Systems - Principles and Features. Springer 2018, ISBN 978-3-319-72022-7, pp. 1-249 - [j45]Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. Fundam. Informaticae 157(4): 359-370 (2018) - [j44]Ludwik Czaja, Wojciech Penczek
, Holger Schlingloff
Preface. Fundam. Informaticae 157(4): i-ii (2018) - [c9]Ludwik Czaja:
Extensions of Elementary Cause-Effect Structures. CS&P 2018 - 2016
- [j43]Ludwik Czaja, Wojciech Penczek
Preface. Fundam. Informaticae 143(1-2): v-vi (2016) - [j42]Ludwik Czaja:
Remarks on Memory Consistency Description. Fundam. Informaticae 147(2-3): 209-221 (2016) - [j41]Ludwik Czaja, Wojciech Penczek
Preface. Fundam. Informaticae 147(2-3): i-iii (2016) - [c8]Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. CS&P 2016: 274-285 - 2015
- [c7]Ludwik Czaja:
Remarks on Memory Consistency Description. CS&P 2015: 103-114 - [e3]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]Ludwik Czaja:
Preface. Fundam. Informaticae 129(1-2) (2014) - [j39]Ludwik Czaja:
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. Fundam. Informaticae 129(1-2): 27-36 (2014) - [j38]Ludwik Czaja:
Floating Channels Between Communicating Nets. Fundam. Informaticae 133(2-3): 123-132 (2014) - [j37]Ludwik Czaja:
Preface. Fundam. Informaticae 133(2-3): i (2014) - [j36]Wojciech Penczek
Preface. Fundam. Informaticae 135(4): i (2014) - [c6]Ludwik Czaja:
Two Problems with Distributed Systems: Data Access Control and Memory Shering. CS&P 2014: 311-319 - 2013
- [j35]Ludwik Czaja:
Rough Net Structures - Example of Information System. Fundam. Informaticae 127(1-4): 81-97 (2013) - [j34]Ludwik Czaja:
Preface. Fundam. Informaticae 128(1-2) (2013) - [j33]Ludwik Czaja:
Equations for Asynchronous Message Passing. Fundam. Informaticae 128(1-2): 35-45 (2013) - [c5]Ludwik Czaja:
Floating Channels Between Communicating Nets. CS&P 2013: 88-98 - [e2]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]Ludwik Czaja:
Preface. Fundam. Informaticae 119(3-4) (2012) - [j31]Ludwik Czaja:
Exclusive Access to Resources in Distributed Shared Memory Architecture. Fundam. Informaticae 119(3-4): 265-280 (2012) - [c4]Ludwik Czaja:
Equations for Asynchronous Message Passing. CS&P 2012: 61-72 - 2011
- [j30]Ludwik Czaja:
Preface. Fundam. Informaticae 109(3) (2011) - [j29]Ludwik Czaja:
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems. Fundam. Informaticae 109(3): 255-264 (2011) - [j28]Ludwik Czaja, Manfred Kudlek:
On Synthesis and Analysis of Generalized Work Flow Net Structures and Transition Graphs. Fundam. Informaticae 112(1): 39-45 (2011) - 2010
- [j27]Ludwik Czaja:
Preface. Fundam. Informaticae 101(1-2) (2010) - [j26]Ludwik Czaja, Manfred Kudlek:
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations. Fundam. Informaticae 101(1-2): 1-7 (2010)
2000 – 2009
- 2009
- [j25]Ludwik Czaja, Manfred Kudlek:
Analysis and Synthesis of Net Structures and Transition Graphs. Fundam. Informaticae 93(1-3): 97-110 (2009) - 2008
- [j24]Ludwik Czaja:
Boolean Algebra of Nets, their Synthesis and Analysis. Fundam. Informaticae 85(1-4): 89-95 (2008) - [j23]Ludwik Czaja:
Calculi of net structures and sets are similar. RAIRO Theor. Informatics Appl. 42(2): 271-284 (2008) - 2007
- [j22]Ludwik Czaja:
Interpreted Nets. Fundam. Informaticae 79(3-4): 283-293 (2007) - 2006
- [j21]Ludwik Czaja:
Equations for message passing. Fundam. Informaticae 72(1-3): 81-93 (2006) - 2005
- [j20]Hans-Dieter Burkhard, Ludwik Czaja, Gabriela Lindemann, Zbigniew Suraj:
Preface: Concurrency Specification and Programming. Fundam. Informaticae 67(1-3) (2005) - [j19]Ludwik Czaja:
An Axiomatic Framework for Proving Correctness of Nets. Fundam. Informaticae 67(1-3): 45-64 (2005) - 2004
- [j18]Hans-Dieter Burkhard, Gabriela Lindemann, Ludwik Czaja, Zbigniew Suraj:
Preface. Fundam. Informaticae 60(1-4) (2004) - 2003
- [j17]Ludwik Czaja:
Proving Nets Correct via Cause-Effect Structures (An Experiment). Fundam. Informaticae 54(2-3): 165-183 (2003) - [j16]Ludwik Czaja:
On the Analysis of Petri Nets and their Synthesis from Process Languages. RAIRO Theor. Informatics Appl. 37(1): 17-38 (2003) - 2002
- [j15]Ludwik Czaja:
Place/Transition Petri Net Evolutions: Recording Ways, Analysis and Synthesis. Fundam. Informaticae 51(1-2): 43-58 (2002) - 2001
- [j14]Ludwik Czaja, Manfred Kudlek:
w-Process Languages for Place/Transition Nets. Fundam. Informaticae 47(3-4): 217-229 (2001) - 2000
- [j13]Ludwik Czaja, Manfred Kudlek:
Rational, Linear and Algebraic Process Languages and Iteration Lemmata. Fundam. Informaticae 43(1-4): 49-60 (2000) - [j12]Ludwik Czaja:
Process languages and nets. Theor. Comput. Sci. 238(1-2): 161-181 (2000)
1990 – 1999
- 1999
- [j11]Ludwik Czaja:
Net-Definability of Process Languages. Fundam. Informaticae 37(3): 213-223 (1999) - [j10]Ludwik Czaja:
Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect Structures. Fundam. Informaticae 37(4): 343-368 (1999) - 1998
- [j9]Ludwik Czaja:
Minimal-Maximal Time Cause-Effect Structures. Fundam. Informaticae 33(1): 1-16 (1998) - [j8]Ludwik Czaja:
Cause-Effect Structures - Structural and Semantic Properties Revisited. Fundam. Informaticae 33(1): 17-42 (1998) - 1997
- [e1]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]Ludwik Czaja:
Process in Cause-Effect Structures. Ershov Memorial Conference 1996: 146-165
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]Ludwik Czaja:
Cause-Effect Structures. Inf. Process. Lett. 26(6): 313-319 (1988) - 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]Ludwik Czaja:
A Specification of Parallel Problems. Inf. Process. Lett. 8(4): 162-167 (1979) - 1978
- [j2]Ludwik Czaja:
Implementation Approach to Parallel Systems. Inf. Process. Lett. 7(5): 244-249 (1978) - [j1]Ludwik Czaja:
Parallel Implementation of Path Expressions. Inf. Process. Lett. 7(6): 291-295 (1978)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-24 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: