Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Object calculi in linear logic. (English)
J. Log. Comput. 10, No.1, 75-104 (2000).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
Accomodating interference in the formal design of concurrent object-based programs. (English)
Form. Methods Syst. Des. 8, No. 2, 105-122 (1996).
Classification: D.1.3 D.3 G.1
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
An object-oriented command language. (English)
IEEE Trans. Softw. Eng. 09, No. 01, 1-8 (1983).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 | next | last

Result 1 to 3 of 3 total

Valid XHTML 1.0 Transitional Valid CSS!