Advertisement

Observational logic and process semantics (abstract)

  • Samson Abramsky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 363)

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Samson Abramsky
    • 1
  1. 1.Imperial CollegeLondon

Personalised recommendations