Finite Models of Cyclic Concurrent Programs
ReportAuthors:OHallaron, David, Department of Computer ScienceUniversity of Virginia Reynolds, Paul, Department of Computer ScienceUniversity of Virginia
Rights:
All rights reserved (no additional license for public reuse)
All rights reserved (no additional license for public reuse)
Language:
English
English
Source Citation:
OHallaron, David, and Paul Reynolds. "Finite Models of Cyclic Concurrent Programs." University of Virginia Dept. of Computer Science Tech Report (1985).
Publisher:
University of Virginia, Department of Computer Science
University of Virginia, Department of Computer Science
Published Date:
1985
1985
