We use cookies to improve your experience with our site.

A General and Formal Method for the Program Static Analysis
Shape Grammars and Shape Rules
Two Algorithms for Variable Allocation in an Interpreted Scheme
An Analysis of WS and PFF Algorithms
The Duodirun Merging Algorithm
Proof Techniques for Port-Directed Communication and Broadcast
A Routing Algorithm for Distributed Optimal Double Loop Computer Networks
Three-Valued Diagnosable Systems: Diagnosability, Optimal Design and Fault Identification Algorithm
Current Issue Cover