The failure of failures: towards a paradigm for asychronous communication

The failure of failures: towards a paradigm for asychronous communication

Author(s):

Publication title:

NASA Technical Reports

Pub. Year:

1990

No.:

N91-31835

Paper no.:

N91-31835

Page(from):

1

Page(to):

27

Pages:

27

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 Derving denotational models for bisimulation from structured operational semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration
2 Technical Paper Semantic models for a version of Parlog de Boer, F.S., Kek, J.N., P, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	8 Technical Paper Explicit canonical reprosentatives for weak bisimulation equivalence and congruence Rutten, J.J.M.M. 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 Norwellfounded sets and programming language semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration
4 Technical Paper A fully abstract model for concurrent logic languages de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration	10 Technical Paper Semantics, orderings and recursion in the weakest precondition calculus Bonsangue, M., Kok, J.N. National Aeronautics and Space Adminstration
5 Technical Paper A fully abstract model for concurrent constrasint programming de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration	11 Technical Paper A proof theory for language POOL de Boer, F.S. National Aeronautics and Space Adminstration
6 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	12 Technical Paper DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM. KOK, J.N. National Aeronautics and Space Administration

1

2

3

4

5

6

7

8

9

10

11

12