Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7--10, 1993. Proceedings (Q1327719)

The articles of this volume will be reviewed individually. For the 7th conference see [Zbl 07674514]. Indexed articles: \textit{Aczel, Peter}, Final universes of processes, 1-28 [Zbl 07680632] \textit{Curien, Pierre-Louis}, On the symmetry of sequentiality, 29-71 [Zbl 07680633] \textit{Pitts, Andrew M.}, Computational adequacy via `mixed' inductive definitions, 72-82 [Zbl 07680634] \textit{Rutten, Jan}, A structural co-induction theorem, 83-102 [Zbl 07680635] \textit{van Breugel, Franck}, Three metric domains of processes for bisimulation, 103-121 [Zbl 07680636] \textit{de Bakker, J. W.; van Breugel, F.}, Topological models for higher order control flow, 122-142 [Zbl 07680637] \textit{Sangiorgi, Davide}, An investigation into functions as processes, 143-159 [Zbl 07680638] \textit{Larsen, Kim G.; Yi, Wang}, Time abstracted bisimulation: implicit specifications and decidability, 160-176 [Zbl 07680639] \textit{Schneider, Steve}, Timewise refinement for communicating processes, 177-214 [Zbl 07680640] \textit{Chen, Liang}, Axiomatising real-timed processes, 215-229 [Zbl 07680641] \textit{Scholefield, David; Zedan, Hussein; Jifeng, He}, A predicative semantics for the refinement of real-time systems, 230-249 [Zbl 07680642] \textit{Best, Eike; Linde-Göers, Hans-Günther}, Compositional process semantics of Petri boxes, 250-270 [Zbl 07680643] \textit{Pinna, G. Michele; Poigné, Axel}, On the specification of elementary reactive behaviour, 271-292 [Zbl 07680644] \textit{Jeffrey, Alan}, A chemical abstract machine for graph reduction extended abstract, 293-303 [Zbl 07680645] \textit{Mulry, Philip S.}, Lifting theorems for Kleisli categories, 304-319 [Zbl 07680646] \textit{Brookes, Stephen; Geva, Shai}, Sequential functions on indexed domains and full abstraction for a sub-language of PCF, 320-332 [Zbl 07680647] \textit{Bucciarelli, Antonio}, Another approach to sequentiality: Kleene's unimonotone functions, 333-358 [Zbl 07680648] \textit{Stoughton, Allen}, Mechanizing logical relations, 359-377 [Zbl 07680649] \textit{Bloom, Stephen L.; Ésik, Zoltán}, Some quasi-varieties of iteration theories, 378-409 [Zbl 07680650] \textit{Heckmann, Reinhold}, Probabilistic power domains, information systems, and locales, 410-437 [Zbl 07680651] \textit{Huth, Michael}, Linear domains and linear maps, 438-453 [Zbl 07680652] \textit{Zhang, Guo-Qiang}, Universal quasi-prime algebraic domains (extended abstract), 454-473 [Zbl 07680653] \textit{Blute, R. F.; Panangaden, Prakash; Seely, R. A. G.}, Holomorphic models of exponential types in linear logic, 474-512 [Zbl 07680654] \textit{Wadler, Philip}, A syntax for linear logic, 513-529 [Zbl 07680655] \textit{Rabinovich, Alexander}, A complete axiomatisation for trace congruence of finite state behaviors, 530-543 [Zbl 07680656] \textit{Flagg, R. C.; Kopperman, R. D.}, The asymmetric topology of computer science, 544-553 [Zbl 07680657] \textit{Calbrix, Hugues; Nivat, Maurice; Podelski, Andreas}, Ultimately periodic words of rational \(\omega \)-languages, 554-566 [Zbl 07680658] \textit{Fiech, Adrian}, Category of \(\Delta \)-functors, 567-586 [Zbl 07680659] \textit{Banerjee, Anindya; Schmidt, David A.}, A categorical interpretation of Landin's correspondence principle, 587-602 [Zbl 07680660] \textit{Bruce, Kim B.; Crabtree, Jonathan; Kanapathy, Gerald}, An operational semantics for TOOPLE: a statically-typed object-oriented programming language, 603-626 [Zbl 07680661] \textit{Danvy, Olivier; Hatcliff, John}, On the transformation between direct and continuation semantics, 627-648 [Zbl 07680662]