Titlebook: CAAP ‘90; 15th Colloquium on T A. Arnold Conference proceedings 1990 Springer-Verlag Berlin Heidelberg 1990 algebra.algorithm.algorithms.co

可怖

書目名稱CAAP ‘90影響因子(影響力)




書目名稱CAAP ‘90影響因子(影響力)學(xué)科排名




書目名稱CAAP ‘90網(wǎng)絡(luò)公開度




書目名稱CAAP ‘90網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱CAAP ‘90被引頻次




書目名稱CAAP ‘90被引頻次學(xué)科排名




書目名稱CAAP ‘90年度引用




書目名稱CAAP ‘90年度引用學(xué)科排名




書目名稱CAAP ‘90讀者反饋




書目名稱CAAP ‘90讀者反饋學(xué)科排名

稀釋前

A markovian concurrency measure,We extend the measure introduced in . to a probabilistic one, by means of a natural translation of the synchronized automata of Arnold-Nivat‘s model to Markov chains: the computation of the measure uses the concept of average time before absorbtion. Some examples including the mutual exclusion are detailed.

Axon895

Measurement of Soil Water Content,We consider the following problem:.: a finite alphabet A, a biprefix code X={x,y} whose elements are primitive, weA*..: find every maximal factors of w which are prefixes of a word of X*..We present an algorithm which solves the problem in time linear of the length of w, after a preprocessing phase applied to the set X.

一再遛

Measurement of Soil Water Content,The chief purpose of this paper is to appraise the feasibility of Girard‘s linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.

PON

焦慮

焦慮

冷淡一切

A Framework of Microtectonic Studies,ariables, l-variables. Powerful compilation techniques, i.e. translation to combinatory logic, and implementation techniques such as reduction machines, have shown how to overcome this problem in the context of functional languages. The paper addresses a similar approach to equational logic programm

ascetic

G. Kompa,M. Schlechtweg,F. van Raayransition systems — here called graphical specifications — and Hennessy-Milner Logic. We show that any graphical specification may be expressed by a logical specification having the same models. Conversely, we give a characterization of the formulae that are graphically representable.

博愛家