Now showing items 1-2 of 2
Modelling Distributed Systems
Distributed systems are multi-processor information processing systems which do not rely on the central shared memory for communication. This paper presents ideas and techniques in modelling distributed systems and ...
Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects
Symbolic evaluation is a process which abstractly evaluates an program on abstract data. A formalism based on conceptual representations is proposed as a specification language for programs with side-effects. Relations ...