Semantic models for a version of Parlog

Semantic models for a version of Parlog

Author(s):

de Boer, F.S. ( Centre for Mathematics and Computer Science )
Kek, J.N.
P, C.
Rutten, J.J.M.M.

Publication title:

NASA Technical Reports

Pub. Year:

1989

No.:

N91-12245

Paper no.:

N91-12245

Page(from):

1

Page(to):

33

Pages:

33

Pub. info.:

National Aeronautics and Space Adminstration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00001427

Similar Items:

1 Technical Paper From failure to success: comparing a denotational and a declarative semantics for Horn clause logic de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	7 Technical Paper A fully abstract model for concurrent logic languages de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration
2 Technical Paper The failure of failures: towards a paradigm for asychronous communication de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	8 Technical Paper A fully abstract model for concurrent constrasint programming de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration
3 Technical Paper Control flow wersus logic: a denotational and a eclarative model for guarded horn clauses de Boer, F.S., Kok, J.N., Palarnklessi, C., Rusten, J.J.M.M. National Aeronautics and Space Adminstration	9 Technical Paper Explicit canonical reprosentatives for weak bisimulation equivalence and congruence Rutten, J.J.M.M. National Aeronautics and Space Adminstration
4 Technical Paper A parallel object-oriented languate: design and semantic foundations America, P.H.M., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	10 Technical Paper Norwellfounded sets and programming language semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration
5 Technical Paper Systematic Formulation of Efficient and Durable Axle Lubricants for Light Trucks and Sport Utility Vehicles. Vinci, J.N., Grisso, B.A., Schenkenberger, C., Qureshi, F.S., Gahagan, M.P. Society of Automotive Engineers	11 Technical Paper Fully abstract denotational models for nonumitorm concurrent languages Horita, E., de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
6 Technical Paper Derving denotational models for bisimulation from structured operational semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration	12 Technical Paper A SEMANTIC APPROACH TO FAIRNESS. RUTTEN, J. J. M. M. et al. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12