The Linear Time - Branching Time Spectrum I

By R. V. Glabbeek. Handbook of Process Algebra, 2001

404 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/7fd6e52fa68830a31c86ed9aabc020bb8bb45057