Publication:
Finite Models of Cyclic Concurrent Programs

Thumbnail Image

Files

TR-85-02.pdf (1.22 MB)

Date

1985-01-01

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

University of Virginia, Department of Computer Science

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Original submission date: 2013-10-11T17:25:00Z

Subjects

Citation

OHallaron, David, and Paul Reynolds. "Finite Models of Cyclic Concurrent Programs." University of Virginia Dept. of Computer Science Tech Report (1985).

URI

https://doi.org/10.18130/V3648K
 https://libraopen.library.virginia.edu/handle/item/8132

Collections

Computer Science

Endorsement

Review

Supplemented By

Referenced By