Ludwik Czaja
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j45]Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. Fundam. Inform. 157(4): 359-370 (2018) - [j44]Ludwik Czaja, Wojciech Penczek, Holger Schlingloff, Nguyen Hung Son:
Preface. Fundam. Inform. 157(4): i-ii (2018) - [c9]
- 2016
- [j43]
- [j42]
- [j41]
- [c8]Ludwik Czaja:
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. CS&P 2016: 274-285 - 2015
- [c7]
- [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]
- [j39]Ludwik Czaja:
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication. Fundam. Inform. 129(1-2): 27-36 (2014) - [j38]Ludwik Czaja:
Floating Channels Between Communicating Nets. Fundam. Inform. 133(2-3): 123-132 (2014) - [j37]
- [j36]
- [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. Inform. 127(1-4): 81-97 (2013) - [j34]
- [j33]
- [c5]
- [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]
- [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:
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]
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
last updated on 2018-12-01 22:36 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint