Advertisement

Unfoldings pp 13-40 | Cite as

Unfolding Products

  • Javier Esparza
  • Dr. Keijo Heljanko
Chapter
  • 364 Downloads
Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)

Keywords

Transition System Global Transition Label Transition System Input Place Bibliographical Note 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Javier Esparza
    • 1
  • Dr. Keijo Heljanko
    • 2
  1. 1.Chair for Foundations of Software Reliability and Theoretical Computer ScienceTechnische Universität MünchenGermany
  2. 2.Department of Information and Computer ScienceHelsinki University of Technology (TKK)Finland

Personalised recommendations