Advertisement

Structured operational semantics for process algebras and equational axiom systems

  • Bard Bloom
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 715)

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Bard Bloom
    • 1
  1. 1.Cornell UniversityUSA

Personalised recommendations