Principles of FP2 Term Algebras for Specification of Parallel Machines

Principles of FP2 Term Algebras for Specification of Parallel Machines

Author(s):

Schnoebelen, Ph. ( LIFIA INSTITUT IMAG )
Jarrand, Ph.

Publication title:

NASA Technical Reports

Pub. Year:

1989

No.:

N90-26571

Paper no.:

N90-26571

Page(from):

1

Page(to):

49

Pages:

49

Pub. info.:

National Aeronautics and Space Adminstration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00001426

Similar Items:

1 Technical Paper Experiments on Processes with Backtracking Schnoebelen, Ph. National Aeronautics and Space Adminstration	7 Technical Paper Term rewriting analysis in process algebra Akkerman, G.J., Baeten, J.C.M. National Aeronautics and Space Adminstration
2 Technical Paper Congrruence Properties of the Process Equivalence Induced by temporal Logic Schnoebelen, Ph. National Aeronautics and Space Adminstration	8 Technical Paper A STUDY IN ALGEBRAIC SPECIFICATIONS: A LANGUAGE WITH GOTO-STATEMENTS VANDIEPEN, N. W.P. National Aeronautics and Space Administration
3 Technical Paper STRONG BISIMILARITY ON NETS REVISITED Autant, C., Blemesk, Z., Schnoebelen, Ph. National Aeronautics and Space Adminstration	9 Technical Paper Deriving incremental implementations from algebraic specifications van der Meulen, E.A. National Aeronautics and Space Adminstration
4 Technical Paper THE SECOND MACHINE CLASS 2; AN ENCYCLOPEDIC VIEW OF THE PARALLEL... VANEMDEBOAS, P. National Aeronautics and Space Administration	10 Technical Paper Modular Specifications in process algebra with curous queues van Glabbeek, R.J., Vaandrager, F.W. National Aeronautics and Space Adminstration
5 Technical Paper New concept of CO2 removal technologies in power generation, combined with fossil fuel recovery and long term CO2 sequestration Mathieu, Ph., Dubuisson, R., Houyou, S., Nihart, R. American Society of Mechanical Engineers	11 Technical Paper PARTIAL EVOLUTION AND OMEGA COMPLETENESS OF ALGEBRAIC SPECIFICATIONS Haering J. National Aeronautics and Space Administration
6 Technical Paper An algebraic specification for the static semantics of Pascal van Deursen, A. National Aeronautics and Space Adminstration	12 Technical Paper Parallel Logic Programming Systems Chassin de Kergommeaux, J., Codognet, Ph. National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12