Computer Science Today, LNCS 1000, 1995
Parallel and Distributed Systems
Leonard M. Adleman
: Algorithmic Number Theory and Its Relationship to Computational Complexity.
: Mathematical System Models as a Basis of Software Engineering.
: Standard Generalized Markup Language: Mathematical and Philosophical Issues.
: Towards a theory of Recursive Structures.
Vaughan R. Pratt
: Chu Spaces and Their Interpretation as Concurrent Objects.
Verification and Reasoning
Moshe Y. Vardi
: Alternating Automata and Program Verification.
: Reasoning about Actions and Change with Ramification.
Multimedia and Hypermedia