Add to ORKGThe parallel processes modelling in the scientific researches automation has been investigated in the paper. As a result the new theory of lambda "*01*-calculus with the possibility of the parallel processes modelling has been constructed. Results may find their field of application in the development of automated synthesis systems for programs with parallel calculationsAvailable from VNTIC / VNTIC - Scientific & Technical Information Centre of RussiaSIGLERURussian Federatio
Projet PROGRAISWe present a generic calculus of "mobile" processes intended as language, labelled tr...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
The lambda calculus has frequently been used as an intermediate representation for programming langu...
SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...
An examination of Girard's execution formula suggests implementations of the Geometry of Interaction...
The paper investigates a concurrent computation model, chi calculus, in which communications resembl...
We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...
This paper exhibits accurate encodings of the l-calculus in the ¹-calculus. The former is canonical ...
Data-oriented workflows are often used in scientific applications for executing a set of dependent t...
AbstractThe paper investigates a concurrent computation model, chi calculus, in which communications...
Parallelism and non-determinism are fundamental concepts in the process algebra theory. Combining th...
The revised edition contains a new chapter which provides an elegant description of the semantics. T...
The use of lambda calculus in richer settings, pos-sibly involving parallelism, is examined in terms...
The the lambda mu mu~ - calculus is a variant of the lambda-calculus with significant differences, i...
Projet PROGRAISWe present a generic calculus of "mobile" processes intended as language, labelled tr...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...
The lambda calculus has frequently been used as an intermediate representation for programming langu...
SIGLEAvailable from CEN Saclay, Service de Documentation, 91191 Gif-sur-Yvette Cedex (France) / INIS...
An examination of Girard's execution formula suggests implementations of the Geometry of Interaction...
The paper investigates a concurrent computation model, chi calculus, in which communications resembl...
We introduce a calculus for concurrent and communicating processes, which is a direct and simple ext...
This paper exhibits accurate encodings of the l-calculus in the ¹-calculus. The former is canonical ...
Data-oriented workflows are often used in scientific applications for executing a set of dependent t...
AbstractThe paper investigates a concurrent computation model, chi calculus, in which communications...
Parallelism and non-determinism are fundamental concepts in the process algebra theory. Combining th...
The revised edition contains a new chapter which provides an elegant description of the semantics. T...
The use of lambda calculus in richer settings, pos-sibly involving parallelism, is examined in terms...
The the lambda mu mu~ - calculus is a variant of the lambda-calculus with significant differences, i...
Projet PROGRAISWe present a generic calculus of "mobile" processes intended as language, labelled tr...
AbstractThis paper presents the formal specification of an abstract machine or the M-calculus, a new...
The Lambda Calculus is a formal system, originally intended as a tool in the foundation of mathemati...