Results 281 to 290 of about 86,663 (296)
Some of the next articles are maybe not open access.
CSP-CASL—A new integration of process algebra and algebraic specification
Theoretical Computer Science, 2006Markus Roggenbach
exaly
On observational equivalence and algebraic specification
Lecture Notes in Computer Science, 2005Donald T Sannella, Andrzej Tarlecki
exaly
A constructive method for abstract algebraic software specification
Theoretical Computer Science, 1984exaly
Formalization of algebraic specification in the development language Deva
Lecture Notes in Computer Science, 1995exaly
Error description on algebraic specification and its automatic addition
Systems and Computers in Japan, 1996exaly