Overview
- Editors:
-
-
J. W. Bakker
-
W. -P. Roever
-
G. Rozenberg
Access this book
Other ways to access
Table of contents (25 papers)
-
-
- R. J. R. Back, J. von Wright
Pages 1-20
-
- Eric Badouel, Philippe Darondeau
Pages 21-50
-
- Rudolf Berghammer, Birgit Elbl, Ulf Schmerl
Pages 51-72
-
- F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten
Pages 73-90
-
- Marcello Bonsangue, Joost N. Kok
Pages 91-109
-
- Andrea Corradini, Andrea Asperti
Pages 110-137
-
- P. Degano, R. Gorrieri, G. Rosolini
Pages 138-153
-
- Abbas Edalat, Michael B. Smyth
Pages 154-173
-
- A. Eliëns, E. P. de Vink
Pages 174-203
-
- Maurizio Gabbrielli, Giorgio Levi, Maurizio Martelli
Pages 204-235
-
- Wim H. Hesselink, Ronald Reinds
Pages 236-260
-
- W. van der Hoek, M. van Hulst, J. -J. Ch. Meyer
Pages 261-287
-
-
- Ramarao Kanneganti, Robert Cartwright, Matthias Felleisen
Pages 318-347
-
-
- Michael W. Mislove, Frank J. Oles
Pages 384-397
-
-
- Flemming Nielson, Hanne Riis Nidson
Pages 425-456
-
- Prakash Panangaden, Vijay Saraswat, P. J. Scott, R. A. G. Seely
Pages 457-476
About this book
Researchers working on the semantics of programming
languages came together in The Netherlands in June 1992 for
a workshop on Semantics - Foundations and Applications. This
volume is based on the meeting and contains material
prepared by the lecturers after the meeting took place. The
volume includes papers on a wide range of topics in both
foundationsand applications, including:
- Comparative domain theory, category theory, information
systems,
- Concurrency: process algebras, asynchronous communication,
action semantics, trace nets, process refinement, concurrent
constraint programming,
- Predicate transformers, refinement,weakest preconditions,
- Comparative semantics of programming concepts, full
abstraction,
- Reasoning about programs: total correctness, epistemic
logic,
- Logic programming,
- Functional programming: sequentiality, integration with
concurrency, applied structured operational semantics.
The workshop was an activity of the project REX (Research
andEducation in Concurrent Systems) sponsored by the
Netherlands NFI (NationaleFaciliteit Informatica)
Programme.