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影响因子(影响力)学科排名




书目名称CAAP ‘90网络公开度




书目名称CAAP ‘90网络公开度学科排名




书目名称CAAP ‘90被引频次




书目名称CAAP ‘90被引频次学科排名




书目名称CAAP ‘90年度引用




书目名称CAAP ‘90年度引用学科排名




书目名称CAAP ‘90读者反馈




书目名称CAAP ‘90读者反馈学科排名

稀释前

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.

博爱家