Program constructions that are safe for bisimulation

Author(s)

Bibliographic Information

Program constructions that are safe for bisimulation

Johan van Benthem

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-93-179）

Center for the Study of Language and Information (CSLI), c1993

Available at  / 2 libraries

Search this Book/Journal

Note

"September 1993"

Bibliography: p. 14-15

Related Books： 1-1 of 1

Details

  • NCID
    BA75747770
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Stanford, Calif.
  • Pages/Volumes
    15 p.
  • Size
    28 cm
  • Parent Bibliography ID
Page Top