Submodule Construction as Equation Solving in CCS (1989)

Cached

Download Links

by Joachim Parrow
Venue:IN PROCEEDINGS OF THE FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, LECTURE NOTES IN COMPUTER SCIENCE 287
Citations:4 - 2 self