Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ludwik Czaja
@article{DBLP:journals/fuin/Czaja21,
author = {Ludwik Czaja},
title = {Extensions of Elementary Cause-Effect Structures},
journal = {Fundam. Informaticae},
volume = {179},
number = {2},
pages = {93--111},
year = {2021},
url = {https://doi.org/10.3233/FI-2021-2016},
doi = {10.3233/FI-2021-2016},
timestamp = {Thu, 15 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja21,
author = {Ludwik Czaja},
editor = {Holger Schlingloff and
Thomas Vogel},
title = {Cause-Effect Structures Behaving like Reaction Systems},
booktitle = {Proceedings of the 29th International Workshop on Concurrency, Specification
and Programming (CS{\&}P 2021), Berlin, Germany, September 27-28,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2951},
pages = {31--45},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2951/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Czaja19,
author = {Ludwik Czaja},
title = {Cause-Effect Structures - An Algebra of Nets with Examples of Applications},
volume = {45},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-20461-7},
doi = {10.1007/978-3-030-20461-7},
isbn = {978-3-030-20460-0},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Czaja19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja19,
author = {Ludwik Czaja},
editor = {Krzysztof Ropiak and
Lech Polkowski and
Piotr Artiemjew},
title = {Computing with Natural Numbers in Cause-Effect Structures},
booktitle = {Proceedings of the 28th International Workshop on Concurrency, Specification
and Programming, Olsztyn, Poland, September 24-26th, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2571},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2571/CSP2019\_paper\_8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Czaja18,
author = {Ludwik Czaja},
title = {Introduction to Distributed Computer Systems - Principles and Features},
volume = {27},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-72023-4},
doi = {10.1007/978-3-319-72023-4},
isbn = {978-3-319-72022-7},
timestamp = {Fri, 06 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Czaja18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja18,
author = {Ludwik Czaja},
title = {A Protocol of Mutual Exclusion for {DSM} Based on Vectors of Global
Timestamps},
journal = {Fundam. Informaticae},
volume = {157},
number = {4},
pages = {359--370},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1632},
doi = {10.3233/FI-2018-1632},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPSS18,
author = {Ludwik Czaja and
Wojciech Penczek and
Holger Schlingloff and
Hung Son Nguyen},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {157},
number = {4},
pages = {i--ii},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1629},
doi = {10.3233/FI-2018-1629},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja18,
author = {Ludwik Czaja},
editor = {Bernd{-}Holger Schlingloff and
Samira Akili},
title = {Extensions of Elementary Cause-Effect Structures},
booktitle = {Proceedings of the 27th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 24-26, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2240},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2240/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPS16,
author = {Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {143},
number = {1-2},
pages = {v--vi},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1299},
doi = {10.3233/FI-2016-1299},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja16,
author = {Ludwik Czaja},
title = {Remarks on Memory Consistency Description},
journal = {Fundam. Informaticae},
volume = {147},
number = {2-3},
pages = {209--221},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1405},
doi = {10.3233/FI-2016-1405},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaPS16a,
author = {Ludwik Czaja and
Wojciech Penczek and
Krzysztof Stencel},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {147},
number = {2-3},
pages = {i--iii},
year = {2016},
url = {https://doi.org/10.3233/FI-2016-1401},
doi = {10.3233/FI-2016-1401},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaPS16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja16,
author = {Ludwik Czaja},
editor = {Bernd{-}Holger Schlingloff},
title = {A Protocol of Mutual Exclusion for {DSM} Based on Vectors of Global
Timestamps},
booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification
and Programming, Rostock, Germany, September 28-30, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1698},
pages = {274--285},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_26\_Czaja\_A-Protocol-of-Mutual-Exclusion-for-DSM-Based-on-Vectors-of-Global-Timestamps.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja15,
author = {Ludwik Czaja},
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Remarks on Memory Consistency Description},
booktitle = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
pages = {103--114},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492/Paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2015,
editor = {Zbigniew Suraj and
Ludwik Czaja},
title = {Proceedings of the 24th International Workshop on Concurrency, Specification
and Programming, Rzeszow, Poland, September 28-30, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1492},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1492},
urn = {urn:nbn:de:0074-1492-5},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja14,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {129},
number = {1-2},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-928},
doi = {10.3233/FI-2014-928},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja14a,
author = {Ludwik Czaja},
title = {Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast
Communication},
journal = {Fundam. Informaticae},
volume = {129},
number = {1-2},
pages = {27--36},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-958},
doi = {10.3233/FI-2014-958},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja14b,
author = {Ludwik Czaja},
title = {Floating Channels Between Communicating Nets},
journal = {Fundam. Informaticae},
volume = {133},
number = {2-3},
pages = {123--132},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1066},
doi = {10.3233/FI-2014-1066},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja14c,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {133},
number = {2-3},
pages = {i},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1064},
doi = {10.3233/FI-2014-1064},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PenczekC14,
author = {Wojciech Penczek and
Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {135},
number = {4},
pages = {i},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1126},
doi = {10.3233/FI-2014-1126},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/PenczekC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja14,
author = {Ludwik Czaja},
editor = {Louchka Popova{-}Zeugmann},
title = {Two Problems with Distributed Systems: Data Access Control and Memory
Shering},
booktitle = {Proceedings of the 23th International Workshop on Concurrency, Specification
and Programming, Chemnitz, Germany, September 29 - October 1, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1269},
pages = {311--319},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1269/paper311.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja13,
author = {Ludwik Czaja},
title = {Rough Net Structures - Example of Information System},
journal = {Fundam. Informaticae},
volume = {127},
number = {1-4},
pages = {81--97},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-897},
doi = {10.3233/FI-2013-897},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja13a,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {128},
number = {1-2},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-928},
doi = {10.3233/FI-2013-928},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja13b,
author = {Ludwik Czaja},
title = {Equations for Asynchronous Message Passing},
journal = {Fundam. Informaticae},
volume = {128},
number = {1-2},
pages = {35--45},
year = {2013},
url = {https://doi.org/10.3233/FI-2013-931},
doi = {10.3233/FI-2013-931},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja13b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja13,
author = {Ludwik Czaja},
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Floating Channels Between Communicating Nets},
booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
pages = {88--98},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csp/2013,
editor = {Marcin S. Szczuka and
Ludwik Czaja and
Magdalena Kacprzak},
title = {Proceedings of the 22nd International Workshop on Concurrency, Specification
and Programming, Warsaw, Poland},
series = {{CEUR} Workshop Proceedings},
volume = {1032},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1032},
urn = {urn:nbn:de:0074-1032-7},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csp/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja12,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {119},
number = {3-4},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-734},
doi = {10.3233/FI-2012-734},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja12a,
author = {Ludwik Czaja},
title = {Exclusive Access to Resources in Distributed Shared Memory Architecture},
journal = {Fundam. Informaticae},
volume = {119},
number = {3-4},
pages = {265--280},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-737},
doi = {10.3233/FI-2012-737},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csp/Czaja12,
author = {Ludwik Czaja},
editor = {Louchka Popova{-}Zeugmann},
title = {Equations for Asynchronous Message Passing},
booktitle = {Proceedings of the 21th International Workshop on Concurrency, Specification
and Programming, Berlin, Germany, September 26-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {928},
pages = {61--72},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-928/0061.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:14 +0100},
biburl = {https://dblp.org/rec/conf/csp/Czaja12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja11,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {109},
number = {3},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-506},
doi = {10.3233/FI-2011-506},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja11a,
author = {Ludwik Czaja},
title = {On Deadlock and Fairness Decision Problems for Computations on Client-server
Systems},
journal = {Fundam. Informaticae},
volume = {109},
number = {3},
pages = {255--264},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-509},
doi = {10.3233/FI-2011-509},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaK11,
author = {Ludwik Czaja and
Manfred Kudlek},
title = {On Synthesis and Analysis of Generalized Work Flow Net Structures
and Transition Graphs},
journal = {Fundam. Informaticae},
volume = {112},
number = {1},
pages = {39--45},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-577},
doi = {10.3233/FI-2011-577},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja10,
author = {Ludwik Czaja},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {101},
number = {1-2},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-270},
doi = {10.3233/FI-2010-270},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaK10,
author = {Ludwik Czaja and
Manfred Kudlek},
title = {Synthesis and Analysis of Net Structures and Transition Graphs with
Inhibitor Relations},
journal = {Fundam. Informaticae},
volume = {101},
number = {1-2},
pages = {1--7},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-271},
doi = {10.3233/FI-2010-271},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaK09,
author = {Ludwik Czaja and
Manfred Kudlek},
title = {Analysis and Synthesis of Net Structures and Transition Graphs},
journal = {Fundam. Informaticae},
volume = {93},
number = {1-3},
pages = {97--110},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0090},
doi = {10.3233/FI-2009-0090},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja08,
author = {Ludwik Czaja},
title = {Boolean Algebra of Nets, their Synthesis and Analysis},
journal = {Fundam. Informaticae},
volume = {85},
number = {1-4},
pages = {89--95},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Czaja08,
author = {Ludwik Czaja},
title = {Calculi of net structures and sets are similar},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {42},
number = {2},
pages = {271--284},
year = {2008},
url = {https://doi.org/10.1051/ita:2007033},
doi = {10.1051/ITA:2007033},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Czaja08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja07,
author = {Ludwik Czaja},
title = {Interpreted Nets},
journal = {Fundam. Informaticae},
volume = {79},
number = {3-4},
pages = {283--293},
year = {2007},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi79-3-4-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja06,
author = {Ludwik Czaja},
title = {Equations for message passing},
journal = {Fundam. Informaticae},
volume = {72},
number = {1-3},
pages = {81--93},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi72-1-3-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BurkhardCLS05,
author = {Hans{-}Dieter Burkhard and
Ludwik Czaja and
Gabriela Lindemann and
Zbigniew Suraj},
title = {Preface: Concurrency Specification and Programming},
journal = {Fundam. Informaticae},
volume = {67},
number = {1-3},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BurkhardCLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja05,
author = {Ludwik Czaja},
title = {An Axiomatic Framework for Proving Correctness of Nets},
journal = {Fundam. Informaticae},
volume = {67},
number = {1-3},
pages = {45--64},
year = {2005},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi67-1-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BurkhardLCS04,
author = {Hans{-}Dieter Burkhard and
Gabriela Lindemann and
Ludwik Czaja and
Zbigniew Suraj},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {60},
number = {1-4},
year = {2004},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi60-1-4-01},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BurkhardLCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja03,
author = {Ludwik Czaja},
title = {Proving Nets Correct via Cause-Effect Structures (An Experiment)},
journal = {Fundam. Informaticae},
volume = {54},
number = {2-3},
pages = {165--183},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-2-3-05},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/Czaja03,
author = {Ludwik Czaja},
title = {On the Analysis of Petri Nets and their Synthesis from Process Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {37},
number = {1},
pages = {17--38},
year = {2003},
url = {https://doi.org/10.1051/ita:2003006},
doi = {10.1051/ITA:2003006},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/Czaja03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja02,
author = {Ludwik Czaja},
title = {Place/Transition Petri Net Evolutions: Recording Ways, Analysis and
Synthesis},
journal = {Fundam. Informaticae},
volume = {51},
number = {1-2},
pages = {43--58},
year = {2002},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi51-1-2-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaK01,
author = {Ludwik Czaja and
Manfred Kudlek},
title = {w-Process Languages for Place/Transition Nets},
journal = {Fundam. Informaticae},
volume = {47},
number = {3-4},
pages = {217--229},
year = {2001},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CzajaK00,
author = {Ludwik Czaja and
Manfred Kudlek},
title = {Rational, Linear and Algebraic Process Languages and Iteration Lemmata},
journal = {Fundam. Informaticae},
volume = {43},
number = {1-4},
pages = {49--60},
year = {2000},
url = {https://doi.org/10.3233/FI-2000-43123403},
doi = {10.3233/FI-2000-43123403},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/CzajaK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Czaja00,
author = {Ludwik Czaja},
title = {Process languages and nets},
journal = {Theor. Comput. Sci.},
volume = {238},
number = {1-2},
pages = {161--181},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00124-8},
doi = {10.1016/S0304-3975(98)00124-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Czaja00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja99,
author = {Ludwik Czaja},
title = {Net-Definability of Process Languages},
journal = {Fundam. Informaticae},
volume = {37},
number = {3},
pages = {213--223},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-37302},
doi = {10.3233/FI-1999-37302},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja99a,
author = {Ludwik Czaja},
title = {Representing Hand-Shake Channel Communication in the Calculus of Cause-Effect
Structures},
journal = {Fundam. Informaticae},
volume = {37},
number = {4},
pages = {343--368},
year = {1999},
url = {https://doi.org/10.3233/FI-1999-37402},
doi = {10.3233/FI-1999-37402},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja99a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja98,
author = {Ludwik Czaja},
title = {Minimal-Maximal Time Cause-Effect Structures},
journal = {Fundam. Informaticae},
volume = {33},
number = {1},
pages = {1--16},
year = {1998},
url = {https://doi.org/10.3233/FI-1998-33101},
doi = {10.3233/FI-1998-33101},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Czaja98a,
author = {Ludwik Czaja},
title = {Cause-Effect Structures - Structural and Semantic Properties Revisited},
journal = {Fundam. Informaticae},
volume = {33},
number = {1},
pages = {17--42},
year = {1998},
url = {https://doi.org/10.3233/FI-1998-33102},
doi = {10.3233/FI-1998-33102},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/Czaja98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fct/1997,
editor = {Bogdan S. Chlebus and
Ludwik Czaja},
title = {Fundamentals of Computation Theory, 11th International Symposium,
{FCT} '97, Krak{\'{o}}w, Poland, September 1-3, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1279},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0036167},
doi = {10.1007/BFB0036167},
isbn = {3-540-63386-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Czaja96,
author = {Ludwik Czaja},
editor = {Dines Bj{\o}rner and
Manfred Broy and
Igor V. Pottosin},
title = {Process in Cause-Effect Structures},
booktitle = {Perspectives of System Informatics, Second International Andrei Ershov
Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1181},
pages = {146--165},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62064-8\_14},
doi = {10.1007/3-540-62064-8\_14},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/ershov/Czaja96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja89,
author = {Ludwik Czaja},
title = {Finite Processes in Cause-Effect Structures and Their Composition},
journal = {Inf. Process. Lett.},
volume = {31},
number = {6},
pages = {305--310},
year = {1989},
url = {https://doi.org/10.1016/0020-0190(89)90092-6},
doi = {10.1016/0020-0190(89)90092-6},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja88,
author = {Ludwik Czaja},
title = {Cause-Effect Structures},
journal = {Inf. Process. Lett.},
volume = {26},
number = {6},
pages = {313--319},
year = {1988},
url = {https://doi.org/10.1016/0020-0190(88)90189-5},
doi = {10.1016/0020-0190(88)90189-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/Czaja85,
author = {Ludwik Czaja},
editor = {Grzegorz Rozenberg},
title = {Making nets abstract and structures},
booktitle = {Advances in Petri Nets 1985, covers the 6th European Workshop on Applications
and Theory in Petri Nets, Espoo, Finland in June 1985, selected papers},
series = {Lecture Notes in Computer Science},
volume = {222},
pages = {181--202},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0016212},
doi = {10.1007/BFB0016212},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/Czaja85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja80,
author = {Ludwik Czaja},
title = {Parallel System Schemas and Their Relation to Automata},
journal = {Inf. Process. Lett.},
volume = {10},
number = {3},
pages = {153--158},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90067-8},
doi = {10.1016/0020-0190(80)90067-8},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja80a,
author = {Ludwik Czaja},
title = {Deadlock and Fairness in Parallel Schemas: {A} Set-Theoretic Characterization
and Decision Problems},
journal = {Inf. Process. Lett.},
volume = {10},
number = {4/5},
pages = {234--239},
year = {1980},
url = {https://doi.org/10.1016/0020-0190(80)90148-9},
doi = {10.1016/0020-0190(80)90148-9},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja80a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/Czaja80,
author = {Ludwik Czaja},
editor = {Andrzej Salwicki},
title = {Are infinite behaviors of parallel system schemata necessary?},
booktitle = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
August 23-29, 1980},
series = {Lecture Notes in Computer Science},
volume = {148},
pages = {108--117},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-11981-7\_7},
doi = {10.1007/3-540-11981-7\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/lop/Czaja80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja79,
author = {Ludwik Czaja},
title = {A Specification of Parallel Problems},
journal = {Inf. Process. Lett.},
volume = {8},
number = {4},
pages = {162--167},
year = {1979},
url = {https://doi.org/10.1016/0020-0190(79)90012-7},
doi = {10.1016/0020-0190(79)90012-7},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja78,
author = {Ludwik Czaja},
title = {Implementation Approach to Parallel Systems},
journal = {Inf. Process. Lett.},
volume = {7},
number = {5},
pages = {244--249},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90008-X},
doi = {10.1016/0020-0190(78)90008-X},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja78.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Czaja78a,
author = {Ludwik Czaja},
title = {Parallel Implementation of Path Expressions},
journal = {Inf. Process. Lett.},
volume = {7},
number = {6},
pages = {291--295},
year = {1978},
url = {https://doi.org/10.1016/0020-0190(78)90020-0},
doi = {10.1016/0020-0190(78)90020-0},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/Czaja78a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:02 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:
