Ludwik Czaja

Available identifiers

zbMath Open czaja.ludwikMaRDI QIDQ1101231

List of research outcomes

Publication	Date of Publication	Type
Processes in cause-effect structures	2024-07-11	Paper
Extensions of Elementary Cause-Effect Structures	2021-11-15	Paper
Computing in cause-effect structures	2021-11-04	Paper
Cause-effect structures. An algebra of nets with examples of applications	2019-07-17	Paper
A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps	2018-05-03	Paper
Remarks on Memory Consistency Description	2017-11-09	Paper
Floating Channels Between Communicating Nets	2014-12-22	Paper
Equations for Asynchronous Message Passing	2014-04-25	Paper
Self-Modifying Nets for Synchronous, Connection-Oriented, Multicast Communication	2014-04-25	Paper
Rough net structures -- example of information system	2013-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q3117555	2012-02-28	Paper
On Deadlock and Fairness Decision Problems for Computations on Client-server Systems	2011-11-10	Paper
Synthesis and Analysis of Net Structures and Transition Graphs with Inhibitor Relations	2011-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q5192926	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506357	2009-01-28	Paper
Calculi of net structures and sets are similar	2008-07-29	Paper
Interpreted nets	2007-10-17	Paper
Equations for message passing	2006-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q5472934	2006-06-19	Paper
On the Analysis of Petri Nets and their Synthesis from Process Languages	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4461954	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q3146273	2002-09-11	Paper
\(\omega\)-process languages for place/transition nets.	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4507813	2000-10-10	Paper
Process languages and nets	2000-08-21	Paper
https://portal.mardi4nfdi.de/entity/Q4265613	1999-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4264232	1999-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q3838375	1998-12-10	Paper
https://portal.mardi4nfdi.de/entity/Q3838374	1998-12-10	Paper
A calculus of nets	1995-08-06	Paper
Finite processes in cause-effect structures and their composition	1989-01-01	Paper
Cause-effect structures	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3753497	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4749206	1983-01-01	Paper
Parallel system schemas and their relation to automata	1980-01-01	Paper
Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems	1980-01-01	Paper
A specification of parallel problems	1979-01-01	Paper
Implementation approach to parallel systems	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122753	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4766023	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5683692	1973-01-01	Paper

Research outcomes over time

This page was built for person: Ludwik Czaja