Bøger af Ludwik Czaja

This book presents the adaptation of cause-effect structures to the formal description of phenomena such as the behaviour of living objects, the mutual communication of living cells, but also such as the growth of crystals and other natural processes. The system of cause-effect structures has been designed for the description and analysis of objects with dispersed components, acting concurrently and synchronizing and communicating one another. This adaptation consists in customizing generic semantics of cause-effect structures to semantics specific to the behaviour of natural objects. That is creating evolution rules for the formal models of these objects. However, the structural, algebraic properties of cause-effect structures are retained. The activity of cellular cause-effect structures is supposed to imitate the activity of cellular automata, the formal system intended for the above-mentioned aims. But operations on syntactic constructions, in particular their transformations and simplification, are the same as for the general cause-effect structures. These algebraic operations are also used to perform certain geometric/topological conversions of location bases for the cellular cause-effect structures, like flat surfaces into cylindrical or toroidal. This is depicted by numerous illustrations. An adaptation of cause-effect structures to other formal descriptions of some natural phenomena, such as reaction systems, is provided in book 331 of the "Lecture Notes in Networks and Systems" series, whereas the complete description of cause-effect structures, in book 45.

This book focuses on numerous examples of tasks represented by c-e structure. In particular, how computing with natural numbers and in propositional calculus can be performed by c-e structures and how to specify behavior of data structures.

This book presents a new algebraic system whose interpretation coincides with the behaviour of Petri nets, enhanced with an inhibitory mechanism and four time models.

This book introduces readers to selected issues in distributed systems, and primarily focuses on principles, not on technical details. Though the systems discussed are based on existing (von Neumann) computer architectures, the book also touches on emerging processing paradigms.