Advanced topics in bisimulation and coinduction

Web Site CiNii Available at 14 libraries

Bibliographic Information

Title
"Advanced topics in bisimulation and coinduction"
Statement of Responsibility
edited by Davide Sangiorgi, Jan Rutten
Publisher
  • Cambridge University Press
Publication Year
  • 2012
Book size
24 cm
Series Name / No
  • : Hardback

Search this Book/Journal

Notes

Includes bibliographical references

Related Books

See more

Details 詳細情報について

Back to top