As the causal relationships induced by communication between cooperating processes are crucial for understanding the dynamic behavior of parallel and distributed systems, tool support is needed for analyzing them. This paper presents hasse, a tool which graphically represents the event traces from cooperating processes according to a formal description of their causal interdependences. Hasse al...

In this paper we associate permitting symbols with rules of Grammars in the components of cooperating distributed context-free hexagonal array grammar systems as a control mechanism and investigating the generative power of the resulting systems in the terminal mode. This feature of associating permitting symbols with rules when extended to patterns in the form of connected arrays also requires...

A theory of force and dynamic manipulability for general systems of multiple cooperating robot manipula-tors is developed. Manipulability analysis refers to the study of the performance of the system regarded as a mechanical transformer of inputs (forces and torques at actuated joints) into outputs (forces and torques exchanged with the environment or accelerations of a reference member), in re...

In this paper we associate permitting symbols with rules of Grammars in the components of cooperating distributed context-free hexagonal array grammar systems as a control mechanism and investigating the generative power of the resulting systems in the terminal mode. This feature of associating permitting symbols with rules when extended to patterns in the form of connected arrays also requires...

It is demonstrated how Petri nets may be used to control the derivations in systems of cooperating grammars. This allows to define grammar systems with a concurrent rewriting protocol. Some basic properties are established.

This paper deals with system support for the design of CSCW environments. Our model introduces objects spaces shared by cooperating participants and cooperation spaces which group participants involved in a particular cooperation together. Objects spaces are only accessed via cooperation spaces. This makes our model strongly cooperation oriented. The Group notion structures our system, called O...

Spiking neural P systems (shortly called SN P systems) are a class of distributed and parallel neural-like computing devices, which are inspired by the way of biological neurons communicating with each other by means of impulses/spikes. SN P systems with cooperating rules are a new variant of SN P systems, where each neuron has the same number of components and some components of a neuron can b...

The Linguistic Geometry (LG) approach to discrete systems was introduced by B. Stilman in early 80s. It employed competing/cooperating agents for modeling and controlling of discrete systems. The approach was applied to a variety of problems with huge state spaces including control of aircraft, battlefield robots, and chess. One of the key innovations of LG is the use of almost winning strategi...