MPG.eBooks - Search Results - (operating OR operation) systems

Search alternatives:
operating » operations

Cover Image

1

Mathematical Foundations of Programming Language Semantics : 3rd Workshop Tulane University, New Orleans, Louisiana, USA, April 8–10, 1987 Proceedings

Published 1988

Springer Berlin Heidelberg

Table of Contents: “...A categorical treatment of polymorphic operations -- A categorical approach to realizability...”

Cover Image

2

Mathematical Foundations of Programming Semantics : 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... of real-time systems -- Compositional process semantics of Petri Boxes -- On the specification...”