A logical process calculus

By Rance Cleaveland

0 (0 Ratings)

0 Want to read0 Currently reading0 Have read

Publish Date

2001

Publisher

Institute for Computer Applications in Science and Engineering, NASA Langley Research Center,For sale by the National Technical Information Service

Language

eng

Pages

Description:

subjects: Algebra, Heterogeneity, Specifications