Mathematical Studies of Information Processing 1978:
Peter E. Lauer
, M. W. Shields
: On the abstract specification and formal analysis of synchronization properties of concurrent systems.
: Synchronized parallel computation and slowdown of translators.
: A formal specification technique for abstract data types with parallelism.
Susan S. Owicki
: Verifying parallel programs with resource allocation.
: Program synthesis through Gödel's interpretation.
: The Vienna development method (VDM): Software specification & program synthesis.
Joseph A. Goguen
: Some design principles and theory for OBJ-O, a language to express and execute algebraic specification for programs.
: The specification and proof of correctness of interactive programs.
: On a theory of decision problems in programming languages.
Calvin C. Elgot
: A representative strong equivalence class for accessible flowchart schemes.