An Individual Token Net Controller (or ITNC) is a particular type of state-machine decomposable Petri net that can be used as a synchronization mecha...

We investigate the link between the crossing-over operation on languages as a formal model of the linkage and recombination of genes in chromosomes,...

It is proved that the system of word equations x(1)(i) = y(1)(i)y(2)(i)y(n)(i), i = 1, 2, ..., [n/2+1, has only cyclic solutions. Some sharpenin...

To solve difficult problem with m ⩾ 3 processors, a computational approach is formulated based on a discretized model in which the failure law is...

A preorder based on execution speed, called performance preorder, is introduced for a simple process algebra with durational actions. Two processes E...