|
|
|
|
| LEADER |
02832nam a2200313 a 4500 |
| 001 |
c000313734 |
| 003 |
CARM |
| 005 |
00000000000000.0 |
| 008 |
920518s1992 si a b 00000 eng |
| 010 |
|
|
|a 92019669
|
| 019 |
1 |
|
|a 9079787
|5 LACONCORD2021
|
| 020 |
|
|
|a 9810210418
|
| 035 |
|
|
|a (OCoLC)26014478
|5 LACONCORD2021
|
| 050 |
0 |
0 |
|a QA76.642
|b .T45 1992
|
| 082 |
0 |
0 |
|a 004.35
|2 20
|
| 245 |
0 |
0 |
|a Ten years of concurrency semantics :
|b selected papers of the Amsterdam Concurrency Group /
|c editors, J.W. de Bakker and J.J.M.M. Rutten.
|
| 260 |
|
|
|a Singapore ;
|a River Edge, N.J. :
|b World Scientific,
|c c1992.
|
| 300 |
|
|
|a viii, 441 p. :
|b ill. ;
|c 26 cm.
|
| 505 |
2 |
|
|a 1. Introduction. 1.1. Overview of selected papers. 1.2. Further and related work. 1.3. Amsterdam Concurrency Group - Membership. 1.4. Amsterdam Concurrency Group - Publications on semantics -- 2. General techniques. Processes and the denotational semantics of concurrency / J.W. de Bakker and J.I. Zucker. Linear time and branching time semantics for recursion with merge / J.W. de Bakker, J.A. Bergstra, J.W. Klop and J.-J. Ch. Meyer. Metric semantics for concurrency / J.W. de Bakker and J.-J. Ch. Meyer. Solving reflexive domain equations in a category of complete metric spaces / P.H.M. America and J.J.M.M. Rutten. A convergence theorem in process algebra / J.A. Bergstra and J.W. Klop. Order and metric in the stream semantics of elemental concurrency / J.W. de Bakker and J.-J. Ch. Meyer -- 3. Semantics of parallel object-oriented languages. Denotational semantics of a parallel object-oriented language / P.H.M. America, J.W. de Bakker, J.N. Kok and J.J.M.M. Rutten.
|
| 505 |
8 |
|
|a Semantic correctness for a parallel object-oriented language / J.J.M.M. Rutten -- 4. Semantics of parallel logic languages. Comparative semantics for flow of control in logic programming without logic / J.W. de Bakker. From failure to success: comparing a denotational and a declarative semantics for Horn Clause Logic / F.S. de Boer, J.N. Kok, C. Palamidessi and J.J.M.M. Rutten -- 5. Further topics. Correctness and full abstraction of metric semantics for concurrency / J.J.M.M. Rutten. Deriving denotational models for bisimulation from Structured Operational Semantics / J.J.M.M. Rutten.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 650 |
|
0 |
|a Parallel programming (Computer science)
|x Congresses.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers)
|x Semantics
|x Congresses.
|
| 700 |
1 |
0 |
|a Bakker, J. W. de
|q (Jacobus Willem de),
|d 1939-
|
| 700 |
1 |
0 |
|a Rutten, J. J. M. M.
|
| 710 |
2 |
0 |
|a Amsterdam Concurrency Group.
|
| 852 |
8 |
|
|b CARM
|h A3:AD02F0
|i C11404
|p 0470685
|f BK
|
| 999 |
f |
f |
|i 0809b384-ba1a-5204-b93c-ef4c4157f0ea
|s 4a1f8f2a-a3b7-509e-a367-3ff7d0778ed8
|
| 952 |
f |
f |
|p Can circulate
|a CAVAL
|b CAVAL
|c CAVAL
|d CARM 1 Store
|e C11404
|f A3:AD02F0
|h Other scheme
|i book
|m 0470685
|