Decidability and decomposition in process algebras

Author(s)

Bibliographic Information

Decidability and decomposition in process algebras

Søren Christensen

University of Edinburgh, Department of Computer Science, 1993

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliography (p. 199-207)

Author's thesis (Ph.D.)--University of Edinbungh, 1993

CST-105-93 (also published as ECS-LFCS-93-278)

Details

  • NCID
    BC08040991
  • Country Code
    uk
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Edinburgh
  • Pages/Volumes
    ix, 220 p.
  • Size
    21 cm
Page Top